log

age author description
Sat, 26 Sep 2020 15:39:33 +0200 Anton Schur git: fix pull request deletion - don't crash on deleting refs to PR heads stable
Sat, 26 Sep 2020 17:33:18 +0200 Mads Kiilerich tests: add coverage of Git pullrequests stable
Tue, 15 Sep 2020 21:30:26 +0200 Manuel Jacob docs: note that the old issue tracker doesn’t work anymore stable