Updated Indentation (markdown) master
authorTimo Heister <timo.heister@gmail.com>
Thu, 13 Aug 2020 14:17:18 +0000 (10:17 -0400)
committerTimo Heister <timo.heister@gmail.com>
Thu, 13 Aug 2020 14:17:18 +0000 (10:17 -0400)
Indentation.md

index c6d6317..56794bb 100644 (file)
@@ -26,4 +26,6 @@ user.email=john.doe@gmail.com
 ```
 For more details on how to change your username or email and how to fix older commits, please see the excellent guide at https://www.git-tower.com/learn/git/faq/change-author-name-email
 
+A short list of instructions to update an open pull request with more than one commit: https://www.deployhq.com/git/faqs/update-author-committer-multiple-git-commits
+
 For main developers: If commits or email addresses need to be modified after they are merged to master, see https://github.com/dealii/dealii/blob/master/.mailmap
\ No newline at end of file

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.