doc: update github url again (sorry)