mirror of
https://github.com/go-gitea/gitea
synced 2024-08-19 16:55:09 +02:00
* Show button to delete a pull request branch after a pull request has been closed (#6570) Signed-off-by: Mario Lubenka <mario.lubenka@googlemail.com> * Update routers/repo/pull.go Co-Authored-By: saitho <mario.lubenka@googlemail.com> |
||
---|---|---|
.. | ||
gitignore | ||
label | ||
license | ||
locale | ||
readme |