mirror of https://github.com/zulip/zulip.git
5ab90c541c
gitlint has a bunch of pinned requirements that hold back important upgrades and conflict with other packages’ requirements. The gitlint author has rejected proposals to unpin them because it might increase the amount of maintenance he needs to do (https://github.com/jorisroovers/gitlint/pull/133). That decision is his to make, but _somebody_ needs to do the maintenance, so we delegate it to Debian and Ubuntu. If that means using a significantly older version of gitlint, that’s a tradeoff we need to make to keep the rest of our requirements current. Signed-off-by: Anders Kaseorg <anders@zulip.com> |
||
|---|---|---|
| .. | ||
| __init__.py | ||
| capitalization.py | ||
| git-tools.bash | ||
| gitlint-rules.py | ||
| html_branches.py | ||
| pretty_print.py | ||
| provision.py | ||
| provision_inner.py | ||
| sanity_check.py | ||
| template_parser.py | ||
| test_script.py | ||
| test_server.py | ||