For those that haven't been on #theforeman-dev today, please be aware
that there has been a DDoS affecting GitHub availability.
This has been having an effect on some of us developers, but also our
Jenkins infrastructure intermittently. It seems to be a little better
now than it was a few hours ago. Expect red builds with timeout errors
if you submit PRs for testing or push changes to develop/master today.
More information at https://status.github.com/ and
https://news.ycombinator.com/item?id=9275041 for the cause.