[tor-commits] [tor/master] changes: file for 31919

teor at torproject.org teor at torproject.org
Fri Oct 25 06:15:24 UTC 2019


commit 9be0324c2cceb61e86bbbc1ecd73266513608f3b
Author: teor <teor at torproject.org>
Date:   Thu Oct 24 09:48:37 2019 +1000

    changes: file for 31919
---
 changes/ticket31919 | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/changes/ticket31919 b/changes/ticket31919
new file mode 100644
index 000000000..5344db956
--- /dev/null
+++ b/changes/ticket31919
@@ -0,0 +1,13 @@
+  o Minor features (developer tools):
+    - Add a check_cocci_parse.sh script that checks that new code
+      is parseable by Coccinelle. Add an exceptions file for unparseable
+      files. Closes ticket 31919.
+    - Call the check_cocci_parse.sh script from a 'check-cocci' Makefile
+      target. Closes ticket 31919.
+  o Minor features (git scripts):
+    - Call the check_cocci_parse.sh script from the git commit and push hooks.
+      Closes ticket 31919.
+    - Skip unmodified source files when doing some existing git hook checks.
+      Related to ticket 31919.
+  o Minor features (continuous integration):
+    - Call the check_cocci_parse.sh script from Travis CI. Closes ticket 31919.





More information about the tor-commits mailing list