diff options
author | Nick Mathewson <nickm@torproject.org> | 2019-04-16 08:09:20 -0400 |
---|---|---|
committer | Nick Mathewson <nickm@torproject.org> | 2019-04-16 08:09:20 -0400 |
commit | 82b690d7da7951bde0238c440139e62e983a0a84 (patch) | |
tree | 7da0cce44cb7349bc2332ab6cc971bd6294ef178 /changes | |
parent | 7b2357a37ab0c0293aad3eb185414f086bbe44d9 (diff) | |
parent | e8e6931638a14a2c996e55d7c8342654fb546b34 (diff) | |
download | tor-82b690d7da7951bde0238c440139e62e983a0a84.tar.gz tor-82b690d7da7951bde0238c440139e62e983a0a84.zip |
Merge remote-tracking branch 'tor-github/pr/910'
Diffstat (limited to 'changes')
-rw-r--r-- | changes/ticket30033 | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/changes/ticket30033 b/changes/ticket30033 new file mode 100644 index 0000000000..3f66d049c8 --- /dev/null +++ b/changes/ticket30033 @@ -0,0 +1,4 @@ + o Minor features (developer tooling): + - Call pre-commit git hook from pre-push hook to make sure we're + running documentation and code style checks before pushing to remote + git repository. Implements feature 30033. |