Adjust GitHub source to produce meaningful output
Add linking to GitHub push events
Remove `user/` from repo name