Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[rdf4j-dev] Auto pull request


I’ve configured a GitHub action to automatically create a pull request when we push to master. The hope is that this will help us to keep develop in sync with master. 

The PR is not merged automatically. So if you see a PR for merging master into develop and it’s all green then feel free to merge it. Do not use squash and merge though.


Back to the top