[rdf4j-dev] Auto pull request

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]

[rdf4j-dev] Auto pull request

From: Håvard Ottestad <hmottestad@xxxxxxxxx>
Date: Tue, 3 Dec 2019 08:43:38 +0100
Delivered-to: rdf4j-dev@xxxxxxxxxxx
List-archive: <https://www.eclipse.org/mailman/private/rdf4j-dev>
List-help: <mailto:rdf4j-dev-request@eclipse.org?subject=help>
List-subscribe: <https://www.eclipse.org/mailman/listinfo/rdf4j-dev>, <mailto:rdf4j-dev-request@eclipse.org?subject=subscribe>
List-unsubscribe: <https://www.eclipse.org/mailman/options/rdf4j-dev>, <mailto:rdf4j-dev-request@eclipse.org?subject=unsubscribe>

Hi,

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.

Håvard

Prev by Date: Re: [rdf4j-dev] RDF4J 3.0.3 javadoc problem
Next by Date: [rdf4j-dev] Fun with Elasticsearch
Previous by thread: [rdf4j-dev] RDF4J 3.0.3 javadoc problem
Next by thread: [rdf4j-dev] Fun with Elasticsearch
Index(es):
- Date
- Thread

Breadcrumbs