Repository next

An update for the new layout of github.

Disclaimer: 1min change, untested

Thanks for the extension