diff options
Diffstat (limited to 'changes/ticket30033')
| -rw-r--r-- | changes/ticket30033 | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/changes/ticket30033 b/changes/ticket30033 deleted file mode 100644 index 3f66d049c8..0000000000 --- a/changes/ticket30033 +++ /dev/null @@ -1,4 +0,0 @@ - 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. |