mirror of
https://github.com/coredns/coredns.git
synced 2026-01-08 09:51:20 -05:00
workflow: move committing workflows to schedule (#4529)
This moves all workflows that commit to a schedule, so that it _doesn't_ push into peoples PRs as that enlarges them and is just non-obvious. They run throughout the week. Also change the "user" we use for this, so that DCO believes it a real email address (DCO is pretty stupid here). Update the authors target to filter out this bot as well. Signed-off-by: Miek Gieben <miek@miek.nl>
This commit is contained in:
14
.github/workflows/make.doc.yml
vendored
14
.github/workflows/make.doc.yml
vendored
@@ -1,14 +1,8 @@
|
||||
name: Make Doc
|
||||
|
||||
on:
|
||||
push:
|
||||
branches:
|
||||
- 'master'
|
||||
paths:
|
||||
- '.github/workflows/make.doc.yml'
|
||||
- 'coredns.1.md'
|
||||
- 'corefile.5.md'
|
||||
- 'plugin/*/README.md'
|
||||
schedule:
|
||||
- cron: '22 10 * * 0'
|
||||
|
||||
jobs:
|
||||
fix:
|
||||
@@ -30,8 +24,8 @@ jobs:
|
||||
env:
|
||||
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
||||
run: |
|
||||
git config user.name "coredns-auto-go-mod-tidy[bot]"
|
||||
git config user.email "coredns-auto-go-mod-tidy[bot]@users.noreply.github.com"
|
||||
git config user.name "coredns[bot]"
|
||||
git config user.email "bot@bot.coredns.io"
|
||||
git remote set-url origin https://x-access-token:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git
|
||||
-
|
||||
name: Commit and push changes
|
||||
|
||||
Reference in New Issue
Block a user