https://gitea.io/en-us/ is a fork with some additional functionality and more open to outside contribution[1]
https://github.com/gogs/gogs/graphs/contributors?from=2018-0...
https://github.com/go-gitea/gitea/graphs/contributors?from=2...
Gogs is a one man show that accepts occasional drive by commits, while Gitea has several active maintainers and a lot of smaller contributers.
I don't think that `git push --delete <remote_name> <branch_name>` is very easy to remember so I prefer doing it via the web interface.
tl;dr "additional functionality" yes, and also some missing functionality.