mirror of
https://github.com/k88hudson/git-flight-rules.git
synced 2025-03-10 20:58:39 -03:00
Forgot to run doctoc after adding 'Other Resources' section
This commit is contained in:
parent
64182bca50
commit
67ed4f0ea5
@ -52,6 +52,9 @@ For clarity's sake all examples in this document use a customized bash prompt in
|
|||||||
- [Delete/remove arbitrary commit](#deleteremove-arbitrary-commit)
|
- [Delete/remove arbitrary commit](#deleteremove-arbitrary-commit)
|
||||||
- [Delete tag](#delete-tag)
|
- [Delete tag](#delete-tag)
|
||||||
- [Deleted Patch](#deleted-patch)
|
- [Deleted Patch](#deleted-patch)
|
||||||
|
- [Other Resources](#other-resources)
|
||||||
|
- [Tutorials](#tutorials)
|
||||||
|
- [Scripts & Tools](#scripts-&-tools)
|
||||||
|
|
||||||
<!-- END doctoc generated TOC please keep comment here to allow auto update -->
|
<!-- END doctoc generated TOC please keep comment here to allow auto update -->
|
||||||
|
|
||||||
@ -645,7 +648,7 @@ If someone has sent you a pull request on GitHub, but then deleted their origina
|
|||||||
|
|
||||||
After commiting, change the author of the previous commit. To do this, see how to [change author](#commit-wrong-author). Then, apply whatever changes needed on to, and make a new pull request.
|
After commiting, change the author of the previous commit. To do this, see how to [change author](#commit-wrong-author). Then, apply whatever changes needed on to, and make a new pull request.
|
||||||
|
|
||||||
# Other resources
|
# Other Resources
|
||||||
|
|
||||||
## Tutorials
|
## Tutorials
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user