From 64098942cae9b87d866fbbe1b08ab90b733f555c Mon Sep 17 00:00:00 2001 From: Arthur Milchior Date: Wed, 22 Jun 2022 20:35:21 +0200 Subject: [PATCH] NF: remove a useless closing tag --- index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/index.html b/index.html index f952027f..da870584 100644 --- a/index.html +++ b/index.html @@ -113,7 +113,7 @@

How can you use GitGitGadget?

You might also want to read the gitworkflows manual page to understand how your contributions will be integrated in Git's repository, as well as this note from Git's maintainer.

The first time you use GitGitGadget, you need to be added to the list of users with permission to use GitGitGadget (this is a very simple anti-spam measure). - Any user who is already on that list can do that, by adding a comment to that Pull Request that says /allow <username> (with your GitHub login name). + Any user who is already on that list can do that, by adding a comment to that Pull Request that says /allow <username> (with your GitHub login name).

The Pull Request will trigger a few Checks, most importantly one that will build Git and run the test suite on the main platforms, to make sure that everything works as advertised.