Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
flipkernel support and tests #181
added a commit
this pull request
Nov 5, 2018
Removed comment by bors was a try time-out (see https://forum.bors.tech/t/usage-with-gitlab-ci/245).
Please don't merge branches like that, especially not your own...