HTCondorWiki: Git Push Checklist

 1::: You can edit commit messages _that haven't been pushed_ using the same basic mechanism as {wiki: GitSquash Squashing git commits} -- see {wiki: GitEditCommit Editing git commit messages} for details.
 
 1::: It's easy and safer to edit the commit message in =GitTrac= after you do the push.
-*:::: Find the relevant commit in =GitTrac=, and click on the gittrac commit number which is enclosed in square brackets.  We {link: rptview?rn=24 have a report} that makes it  easy to find all your recent commits in gittrac.
+*:::: Find the relevant commit in =GitTrac=, and click on the =GitTrac= commit ID (the 5-digit number in square brackets) hyperlink.  We {link: rptview?rn=24 have a report} that makes it  easy to find all your recent commits in gittrac.
 *:::: Edit the commit message to include the ticket number as above, then save your changes.
 *:::: *Note*: =GitTrac= edits to git commit messages *do not* affect the actual git repository -- if you run "git log", you'll see your original commit message, but =GitTrac= will use the edited message.