Merge #16256: doc: remove orphaned header in developer notes
5a88ea7c67
doc: remove orphaned header in developer notes (Jon Atack) Pull request description: The "Git and GitHub tips" section was moved from doc/developer-notes.md to doc/productivity.md in5b76c31
, but the header link to that long-gone section in the developer notes remains and needs to go. So long, Git and GitHub tips, we barely knew ya. ACKs for commit 5a88ea: fanquake: ACK5a88ea7c67
Tree-SHA512: d2a0bea27cd9209adec2127fae5e336c44771aa46af7c544fa2c80a3df4868adafbccc30ef370369404b882fa009f7198cbf41777afd30eccf0c21a7eb1d0ad1
This commit is contained in:
commit
32e9453818
1 changed files with 0 additions and 1 deletions
|
@ -34,7 +34,6 @@ Developer Notes
|
|||
- [Source code organization](#source-code-organization)
|
||||
- [GUI](#gui)
|
||||
- [Subtrees](#subtrees)
|
||||
- [Git and GitHub tips](#git-and-github-tips)
|
||||
- [Scripted diffs](#scripted-diffs)
|
||||
- [Release notes](#release-notes)
|
||||
- [RPC interface guidelines](#rpc-interface-guidelines)
|
||||
|
|
Loading…
Add table
Reference in a new issue