On 05/22/2018 12:31 PM, Ricky Zhang wrote:
In any case, if you want to attract more traffic for testing or get PRs
from others, I still recommend we should move to Github.
That's not our decision, and it's FSF policy not to use GitHub because
GitHub doesn't provide the sorts of freedom to its users that the FSF
insists upon. If you'd like to change the FSF policy, please take it up
with the Chief GNUsiance, or with GitHub, or both; it's above our pay grade.
I still need to verify you are who you are
Bison releases are routinely signed with a .sig file; that should be
good enough for even the most-paranoid user.
