diff options
author | Leo Famulari <leo@famulari.name> | 2025-06-05 17:15:21 -0400 |
---|---|---|
committer | Leo Famulari <leo@famulari.name> | 2025-06-08 17:46:34 -0400 |
commit | 69a77ffab2407c2150d59bffc0ae2ab04161c9da (patch) | |
tree | 20fc40c24e3c76668625fc00a99bb45c67405f47 /nix/libutil/util.cc | |
parent | 525d8a1a60b5a3e7dc6759e7fb8af7522758028a (diff) |
etc: Git pre-push hook: Don't allow pushes to Savannah.
* etc/git/pre-push: Throw an error when pushing to savannah.gnu.org.
Change-Id: I1fefa4d93daf0f2887168c54a244b9be5d220665
Diffstat (limited to 'nix/libutil/util.cc')
0 files changed, 0 insertions, 0 deletions