9 Commits

Author SHA1 Message Date
Tim Gross
ff8ca8a4c5 tools: filter Nomad Enterprise tags in pre-push hook (#24452)
Our git pre-push hook already prevents Nomad Enterprise code from getting pushed
anywhere but its own repo. But this hook only works for files on the current
worktree (checkout). Were you to fetch an Enterprise tag into your local
Community Edition repo but not have it checked out, and then `git push --tags`,
you'd push that tag and the associated commit history.

Add tag filtering to the pre-push hook to prevent Enterprise tags (and the older
`+pro` SKU) tags from getting pushed to the Community Edition repo.
2024-11-13 09:50:43 -05:00
Charlie Voiselle
5bc49e5208 unbreak the pre-push hook (#18185) 2023-08-10 10:38:18 -04:00
Charlie Voiselle
74f4381cb3 [chore] Update pre-push hook to handle more remote URL shapes (#17560)
* handle remotes without .git in their path
* Update check to use grep
2023-08-09 14:09:39 -04:00
Seth Hoenig
1eeb3298b9 repo: block pushing to release branches in git hook (#17377) 2023-06-01 09:36:20 -05:00
Tim Gross
03a1192c12 docs: swap master for main in Nomad repo 2021-03-08 14:26:31 -05:00
Mahmood Ali
896ddf5629 prehook: fix enterprise repo remote value 2020-02-03 11:29:25 -05:00
Lang Martin
0afd2c1d90 dev/hooks/pre-push refuses to push to master, still checks oss 2019-04-25 16:54:02 -04:00
Alex Dadgar
7342fe55f8 fix hook 2017-08-20 20:45:00 -07:00
Alex Dadgar
25d1d2e80e Add a shared git hooks directory
This PR adds a place to share git hooks.
2017-08-17 10:55:53 -07:00