Use github api to check if repos changed

This is fast, so we can do it on every command