7 Commits

Author	SHA1	Message	Date
Vasil Dimov	d695eb4c21	doc: note the costs of fetching all pull requests ... Also, update the example to skip downloading the merge commits when downloading all PRs.	2020-03-31 14:42:09 +02:00
Carl Dong	01971da9bd	docs: Add productivity notes for "dummy rebases"	2019-05-15 14:12:45 -04:00
MarcoFalke	8a8b03ecd2	Merge #15603: docs: Add more tips to productivity.md ... 5801dd628d docs: Add more tips to productivity.md (gwillen) Pull request description: Add advice to productivity.md on: - Using ccache to optimal effect - The with-incompatible-bdb configure option - Building less than the entire set of targets ACKs for commit 5801dd: promag: utACK 5801dd6. MarcoFalke: utACK 5801dd6 Tree-SHA512: 2138acd4bf5a27ecaa9a02fb2141903d01ee199ba85ccf6a5ad6a0a4dabf4447d043108cdd86998801b0282e899f70892f9337b0b6dc59c6d1f0fccf61adb4e4	2019-03-25 18:26:41 -04:00
gwillen	5801dd628d	docs: Add more tips to productivity.md ... Add advice to productivity.md on: - Using ccache to optimal effect - The with-incompatible-bdb configure option - Building less than the entire set of targets	2019-03-22 12:39:17 -07:00
Sjors Provoost	ff7f31e07d	[doc] productivity: more advanced git range-diff	2019-02-19 17:15:38 +01:00
Sjors Provoost	bf12093191	[doc] productivity: fix broken link	2019-02-19 16:35:56 +01:00
Carl Dong	5b76c314d6	doc: Add separate productivity notes document ... Many developers have their own tools and tricks to be more productive during their cycles, so let's document the best ones so that everyone can benefit from them.	2019-02-05 15:18:36 -05:00