diff options
| author | Jason Gross | 2018-09-01 20:05:07 -0400 |
|---|---|---|
| committer | Jason Gross | 2018-10-02 14:48:10 -0400 |
| commit | 425475e4605691642b09b625dd13e7e3506299b6 (patch) | |
| tree | 5044834ad1cf09a85ee2e652ffb8f00e8b63ca04 /.github | |
| parent | 3208a68e2c1b5f29fe33b54a66a2c361d3bfc531 (diff) | |
Move the compat-update-process to right after branching
Also test that the compat updating script hasn't become outdated on the
CI.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/CODEOWNERS | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/CODEOWNERS b/.github/CODEOWNERS index 29fe3ef20b..7ca407f36f 100644 --- a/.github/CODEOWNERS +++ b/.github/CODEOWNERS @@ -352,4 +352,5 @@ # Secondary maintainer @maximedenes /dev/tools/update-compat.py @JasonGross +/test-suite/tools/update-compat/ @JasonGross # Secondary maintainer @Zimmi48 |