fix(docs): Deploy when boards/shields change.
This commit is contained in:
parent
2907704f9f
commit
7d65539735
1 changed files with 3 additions and 0 deletions
|
@ -1,3 +1,6 @@
|
||||||
|
[build]
|
||||||
|
ignore = "git diff --quiet $CACHED_COMMIT_REF $COMMIT_REF . ../app/boards/"
|
||||||
|
|
||||||
[[redirects]]
|
[[redirects]]
|
||||||
from = "/community/discord/invite"
|
from = "/community/discord/invite"
|
||||||
to = "https://discord.gg/sycytVQ"
|
to = "https://discord.gg/sycytVQ"
|
||||||
|
|
Loading…
Reference in a new issue