diff options
| -rwxr-xr-x | tools/post-receive.hook | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/tools/post-receive.hook b/tools/post-receive.hook index 004422f..ee3345f 100755 --- a/tools/post-receive.hook +++ b/tools/post-receive.hook @@ -3,8 +3,7 @@ # Git post-receive hook to update Patchwork patches after Git pushes # # Copyright © 2010 martin f. krafft <madduck@madduck.net> -# Released under the terms of the Artistic Licence 2.0 -# +# Released under the GNU General Public License v2 or later. set -eu #TODO: the state map should really live in the repo's git-config |