Skip to content

Commit

Permalink
fixing hook
Browse files Browse the repository at this point in the history
  • Loading branch information
inadarei committed May 10, 2019
1 parent 341728b commit 3381639
Showing 1 changed file with 7 additions and 1 deletion.
8 changes: 7 additions & 1 deletion .githooks/pre-push
Original file line number Diff line number Diff line change
@@ -1,7 +1,13 @@
#!/bin/sh

BRANCH=$(git rev-parse --abbrev-ref HEAD)
if [[ "$BRANCH" != "master" ]]; then
echo 'Aborting pre-push build';
exit 1;
fi

make latest
git add draft-inadarei-*.* index.*
git commit -m "rebuilt generated spec files" draft-inadarei-*.* index.*

echo "Successfully Rebuilt RFC"
echo "Successfully Rebuilt RFC"

0 comments on commit 3381639

Please sign in to comment.