Re: [rdf4j-dev] Protected branch

["Jeen Broekstra" <jeen@xxxxxxxxxxxx>]

Yes, good idea, I was thinking the same thing. I'll try and get this fixed tomorrow.

Cheers,

Jeen

On Tue, Aug 25, 2020, at 21:15, Håvard Ottestad wrote:

Hi,

Would it be a good idea to make develop a protected branch? Should stop it from getting deleted and stops us from force pushing it too. Shouldn’t affect PRs unless we want it to. 

Håvard

_______________________________________________

rdf4j-dev mailing list

rdf4j-dev@xxxxxxxxxxx

To unsubscribe from this list, visit https://www.eclipse.org/mailman/listinfo/rdf4j-dev