Can't one just disable issues for the GitHub repository at hand? https://help.github.com/articles/disabling-issues/
Am Fr., 13. Juli 2018 um 14:03 Uhr schrieb Mickael Istria < mist...@redhat.com>: > One important thing in this migration is that since it's not possible > AFAIK to disable issue reports on GitHub, migrating to GitHub also implies > more or less moving away from Bugzilla (and even if current contributors > keep using Bugzilla instead of GitHub issues, it's a matter of time for the > majority to be on GitHub issues too). > _______________________________________________ > nebula-dev mailing list > nebula-dev@eclipse.org > To change your delivery options, retrieve your password, or unsubscribe > from this list, visit > https://dev.eclipse.org/mailman/listinfo/nebula-dev
_______________________________________________ nebula-dev mailing list nebula-dev@eclipse.org To change your delivery options, retrieve your password, or unsubscribe from this list, visit https://dev.eclipse.org/mailman/listinfo/nebula-dev