In a preliminary vote among the current Atomic and CoreOS developers we had a very clear vote for GitHub where the vote options were GitHub, Gitlab, Pagure, and “other”. GitHub won that vote, but we have some very dedicated Pagure users with valid arguments, so we decided this is a good thing for the community to vote on as we’d like more people to contribute.
We did not want to put up many choices as we want to see whether there is a clear decision - but the comments are open and there is the “other” option to put Gitlab.
Let’s wait until next week so everyone has had a full week to cast their vote, but so far I can tell that the community vote mirrors the developers’ vote where Gitlab was an actual option and stayed way below 10%.
I find that also rather sad as I have voted for Gitlab as well - it is in my personal view the best option of the 3 but there are significant disadvantages from a community perspective, for example why not use existing Fedora infrastructure, why not use the existing GitHub tools where everyone already is on board, and then there is also the decision of hosted Gitlab or on premise which needs dedicated infrastructure people (who’d have to come from Fedora and then it makes even less sense to not use Pagure).