fix github url-tinkering