diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2018-04-11 10:45:45 -0400 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2018-04-11 10:45:47 -0400 |
| commit | 3cf76c23fbfc8500fa494f8cef8068a67a1388c3 (patch) | |
| tree | 75489707cc80988098c7281f65758a485597d416 /doc/init.md | |
| parent | 6d3de17a226bf50ceb11f7703ace11c285410134 (diff) | |
| parent | fad0fc3c9a9759dfb2bb1bdf1aaa5e1d08c0ab9c (diff) | |
Merge #12933: doc: Refine header include policy
fad0fc3c9a Refine travis check for duplicate includes (MarcoFalke)
Pull request description:
Since there is no harm in having "duplicate" includes and it makes it obvious what are the dependencies of each file, without having to do static analysis or jumping between files, I'd suggest to revert the travis check for duplicate includes.
Generally, I think that enforcing minor style preferences should not be done via travis. The cost of maintaining and the burden on other developers is too high. C.f discussion in https://github.com/bitcoin/bitcoin/pull/10973#discussion_r180142594
Tree-SHA512: 97ab0e769d457ccfb873fff6c99613f8b944cd7ef95bfdccb0e1bbe8f5df1f16548c658fa03af42516f806546e75646d338a061e7b057619490235d311ca21f1
Diffstat (limited to 'doc/init.md')
0 files changed, 0 insertions, 0 deletions