Skip to content

Commit

Permalink
We're already working in a copy of the repo
Browse files Browse the repository at this point in the history
  • Loading branch information
mnot committed Dec 18, 2023
1 parent 82438cc commit 7634ce2
Showing 1 changed file with 0 additions and 2 deletions.
2 changes: 0 additions & 2 deletions bin/update.sh
Original file line number Diff line number Diff line change
Expand Up @@ -8,8 +8,6 @@ git status --short var/rfcs.json var/refs.json var/tags.json var/rfc-index.xml.e
# setup
git config user.email mnot@mnot.net
git config user.name mnot-bot
git remote set-url --push origin https://mnot:$GITHUB_TOKEN@github.com/mnot/rfc.fyi
git checkout -B main origin/main

# Push the changes
git add var/rfc-index.xml
Expand Down

0 comments on commit 7634ce2

Please sign in to comment.