Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Scala 2.12.8 #8863
Did someone change the GitHub repository settings?
It's a bit annoying to always have to either merge with master branch or rebase on top of it to be able to actually merge the pull request within GitHub... I think the way it was before was working quite well...