HTCondorWiki: Git Push Checklist

 *:::: *Note*: If you're not familiar with git, use the below method.
 *:::: *Note*: This seems to do strange things if you've run 'git add' since the commit.
 
-1::: You can edit commit messages _that haven't been pushed_ using the same mechanism as {wiki: GitSquash Squashing git commits} -- see {wiki: GitEditCommit Editting git commit messages}.
+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 Editting 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=