devtools: Exclude patches from lint-whitespace #12442

1. 
   MarcoFalke commented at 7:48 pm on February 15, 2018: member

   By default, unified patches have trailing whitespace in all context lines. Thus, exclude patches from linting.
2. devtools: Exclude patches from lint-whitespace fafbf7f74e
3. MarcoFalke added the label Scripts and tools on Feb 15, 2018
4. 
   laanwj commented at 7:54 pm on February 15, 2018: member

   utACK
5. 
   fanquake commented at 11:46 pm on February 15, 2018: member

   utACK fafbf7f
6. MarcoFalke merged this on Feb 16, 2018
7. MarcoFalke closed this on Feb 16, 2018

   ---

8. MarcoFalke referenced this in commit a233fb4f1d on Feb 16, 2018
9. MarcoFalke deleted the branch on Feb 16, 2018
10. fanquake referenced this in commit f3b8d85b4b on Mar 14, 2018
11. laanwj referenced this in commit 845838c445 on Mar 14, 2018
12. HashUnlimited referenced this in commit 8645d3ee1e on Mar 16, 2018
13. PastaPastaPasta referenced this in commit ec919ca905 on Jun 13, 2020
14. PastaPastaPasta referenced this in commit b275680aac on Jun 13, 2020
15. PastaPastaPasta referenced this in commit fbfc498c05 on Jun 14, 2020
16. PastaPastaPasta referenced this in commit 91370be44e on Jun 17, 2020
17. PastaPastaPasta referenced this in commit 84d8896956 on Jun 17, 2020
18. PastaPastaPasta referenced this in commit 7b3ce56b74 on Jun 17, 2020
19. PastaPastaPasta referenced this in commit 10a27192b1 on Jun 17, 2020
20. zkbot referenced this in commit 43ac2062f9 on Oct 28, 2020
21. zkbot referenced this in commit 84a5830aaa on Nov 9, 2020
22. MarcoFalke locked this on Sep 8, 2021

Contributors
MarcoFalke laanwj fanquake

Labels
Scripts and tools