WIP: shortcuts to travis-ci and github PRs
Fix: quick and dirty check