[CoreOS] Re: GitHub or Pagure: community decision