Commit f121986
committed
Add configuration to merge updates automatically
Since we have a CI and we are dealing with a static website
(and no one seems to review the PR anyway besides me), it can safely be
merged, avoiding me 3 clicks on github every day.
Signed-off-by: Michael Scherer <[email protected]>1 parent 3505d83 commit f121986
1 file changed
+16
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
0 commit comments