[rdf4j-dev] Consolidating our git merge strategy

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

[rdf4j-dev] Consolidating our git merge strategy

From: Jeen Broekstra <jeen.broekstra@xxxxxxxxx>
Date: Wed, 18 Mar 2020 15:39:24 +1100
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 all,

I've created a discussion issue on github to get some votes and feedback on how we handle PR merges. See https://github.com/eclipse/rdf4j/issues/2011 . Please comment and vote there.

Cheers,

Jeen

Prev by Date: [rdf4j-dev] 3.1.2 release tomorrow
Next by Date: [rdf4j-dev] Using pull request approval more
Previous by thread: [rdf4j-dev] 3.1.2 release tomorrow
Next by thread: [rdf4j-dev] Using pull request approval more
Index(es):
- Date
- Thread

Breadcrumbs