really fixing github urls