I like your list, though I would add Pagure[1] as an option for a GitHub alternative, simply because I like the "open data" principle also applied to project data. And extensibility is nice if you want to support custom workflows. :)
[1]: https://pagure.io/pagure