aboutsummaryrefslogtreecommitdiff
path: root/doc/productivity.md
AgeCommit message (Expand)Author
2020-03-31doc: note the costs of fetching all pull requestsVasil Dimov
2019-05-15docs: Add productivity notes for "dummy rebases"Carl Dong
2019-03-25Merge #15603: docs: Add more tips to productivity.mdMarcoFalke
2019-03-22docs: Add more tips to productivity.mdgwillen
2019-02-19[doc] productivity: more advanced git range-diffSjors Provoost
2019-02-19[doc] productivity: fix broken linkSjors Provoost
2019-02-05doc: Add separate productivity notes documentCarl Dong