fwenzel opened this issue 5 years ago · 0 comments
github URLs should be shortened with git.io. Probably needs a pref.