github-ci-1

Now with pull-requests