On 11/16/2021 1:00 PM, Robert Schadek wrote: > GitHub has >10^7 accounts, D's bugzilla has what, 10^3? > No matter what feature github is missing there is no reason to not migrate to > github. Sebastian wanted to do this, and we already gave him the go-ahead on it a couple years ago.