summaryrefslogtreecommitdiff
path: root/README-hacking
diff options
context:
space:
mode:
authorZack Weinberg <zackw@panix.com>2020-11-30 11:41:23 -0500
committerZack Weinberg <zackw@panix.com>2020-11-30 11:45:24 -0500
commit50e9bcc67d76f0e7e9fbe1bd08b3c73ae68a4e9b (patch)
tree943a5672c64848f44a31725fcb2f59d3dc7f6171 /README-hacking
parent3b8f293ec21062c55fe2835be6c8af7d58dfe0af (diff)
downloadautoconf-50e9bcc67d76f0e7e9fbe1bd08b3c73ae68a4e9b.tar.gz
make fetch and update savannah gitweb urls to cgit.
Several of the files updated by make fetch have made this change, so we follow suit for consistency: * README-hacking * build-aux/fetch.pl * doc/autoconf.texi: Replace all git.savannah.gnu.org/gitweb URLs with equivalent /cgit URLs.
Diffstat (limited to 'README-hacking')
-rw-r--r--README-hacking6
1 files changed, 3 insertions, 3 deletions
diff --git a/README-hacking b/README-hacking
index 1b822e0b..fb48d4d6 100644
--- a/README-hacking
+++ b/README-hacking
@@ -35,7 +35,7 @@ generate the version string. Therefore, we recommend:
- Git 1.4.4+ <https://git-scm.com/>
You may find it useful to install the git-merge-changelog merge driver:
-https://git.sv.gnu.org/gitweb/?p=gnulib.git;a=blob;f=lib/git-merge-changelog.c
+https://git.savannah.gnu.org/cgit/gnulib.git/plain/lib/git-merge-changelog.c
then add the following to .git/config or ~/.gitconfig:
[merge "merge-changelog"]
@@ -122,12 +122,12 @@ The forms to choose from are in gnulib's doc/Copyright/ directory.
If you want to assign a single change, you should use the file,
doc/Copyright/request-assign.changes:
- https://git.sv.gnu.org/gitweb/?p=gnulib.git;a=blob;f=doc/Copyright/request-assign.changes;hb=HEAD
+ https://git.sv.gnu.org/cgit/gnulib.git/tree/doc/Copyright/request-assign.changes
If you would like to assign past and future autoconf work,
you'd use doc/Copyright/request-assign.future:
- https://git.sv.gnu.org/gitweb/?p=gnulib.git;a=blob;f=doc/Copyright/request-assign.future;hb=HEAD
+ https://git.sv.gnu.org/cgit/gnulib.git/tree/doc/Copyright/request-assign.future
Enjoy!