The "Git and GitHub tips" section was moved from doc/developer-notes.md to doc/productivity.md in 5b76c31, 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.
doc: remove orphaned header in developer notes #16256
pull jonatack wants to merge 1 commits into bitcoin:master from jonatack:remove-orphaned-header-link-in-developer-notes changing 1 files +0 −1-
jonatack commented at 10:19 PM on June 20, 2019: member
-
5a88ea7c67
doc: remove orphaned header in developer notes
The "Git and GitHub tips" section was moved from doc/developer-notes.md to doc/productivity.md in 5b76c31, 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.
- DrahtBot added the label Docs on Jun 20, 2019
- fanquake approved
-
fanquake commented at 10:40 AM on June 21, 2019: member
ACK 5a88ea7c67448748a63ac7963c70a047a5daca79
- fanquake merged this on Jun 21, 2019
- fanquake closed this on Jun 21, 2019
- fanquake referenced this in commit 32e9453818 on Jun 21, 2019
- jonatack deleted the branch on Jun 21, 2019
- PastaPastaPasta referenced this in commit 311fa1a3ee on Jun 27, 2021
- PastaPastaPasta referenced this in commit 9ac7b4e857 on Jun 28, 2021
- PastaPastaPasta referenced this in commit 6104bbeacf on Jun 29, 2021
- PastaPastaPasta referenced this in commit 7d7f486fba on Jul 1, 2021
- PastaPastaPasta referenced this in commit ec541941d7 on Jul 1, 2021
- PastaPastaPasta referenced this in commit 99a4456e86 on Jul 12, 2021
- PastaPastaPasta referenced this in commit d37c1fc650 on Jul 13, 2021
- DrahtBot locked this on Dec 16, 2021
