commit ed551de179e417b856040921003d4a5200b05a19
parent 8e61a5f863719e20dce877640bc3577e3234858a
Author: Oscar Benedito <oscar@oscarbenedito.com>
Date: Sun, 13 Dec 2020 19:07:10 +0100
parent 8e61a5f863719e20dce877640bc3577e3234858a
Author: Oscar Benedito <oscar@oscarbenedito.com>
Date: Sun, 13 Dec 2020 19:07:10 +0100
Delete GitLab link, add sr.ht
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/stagit-index.c b/stagit-index.c @@ -87,7 +87,7 @@ writefooter(FILE *fp) "<h2 id=\"contribute\">Contribute</h2>\n" "<p>The best way to contribute to my repositories is through e-mail, check out <a href=\"https://git-send-email.io\">git-send-email.io</a> if you don’t know how to do that. Send your patches to <a href=\"mailto:patches@oscarbenedito.com\">patches@oscarbenedito.com</a> and change the subject prefix to specify the repository you are sending the patch for. You can do that running the following command from the git repository:</p>\n" "<pre><code>git config format.subjectPrefix \"PATCH <name-of-repository>\"</code></pre>\n" - "<p>You can also contribute on <a href=\"https://gitlab.com/oscarbenedito\">GitLab</a> or <a href=\"https://github.com/oscarbenedito\">GitHub</a> (all my public repositories should be on both platforms) doing pull requests.</p>\n" + "<p>You can also contribute on <a href=\"https://github.com/oscarbenedito\">GitHub</a> doing pull requests (all my public repositories are mirrored there, as well as <a href=\"https://git.sr.ht/~ob\">sr.ht</a>).</p>\n" "</div>\n</body>\n</html>\n", fp); }