I did not. I am communicating here (or on irc, or mailinglist if available, or other git platforms) because I left github years ago and I am not going back.
If anyone wants to create a github bug and copy/paste this or reference it, please do and thank you. Sorry for the unconvenience.
