| Re: [rdf4j-dev] 3.1.0 release this Thursday |
Don't worry about it. In fact don't revert either. We're close enough to release that it doesn't matter really.Cheers,Jeen_______________________________________________On Fri, 31 Jan 2020, 20:23 Bart Hanssens (BOSA), <bart.hanssens@xxxxxxxxxxxx> wrote:_______________________________________________Hi,
I’ve just noticed I’ve already accidentally merged develop into master two days ago when fixing an issue ☹
(note to self: sit on hands and think before clicking github webeditor buttons)
I’ll revert the merge commit today and bring master back to the status of a few days ago
No harm was done to the develop branch
Apologies for the inconvenience / log polluting…
Best regards
Bart
From: rdf4j-dev-bounces@xxxxxxxxxxx <rdf4j-dev-bounces@xxxxxxxxxxx> On Behalf Of Jeen Broekstra
Sent: donderdag 30 januari 2020 22:46
To: rdf4j developer discussions <rdf4j-dev@xxxxxxxxxxx>
Subject: [rdf4j-dev] 3.1.0 release this Thursday
Hi all,
Just a heads up that we will be releasing 3.1.0 this Thursday (February 6). Get your PRs in before that time, and please don't break the build. I'll probably merge develop into master on Tuesday, at which point we also feature-freeze for the release. We'll do finishing touches (last-minute urgent fixes) directly on the master branch.
Cheers,
Jeen
rdf4j-dev mailing list
rdf4j-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://www.eclipse.org/mailman/listinfo/rdf4j-dev
rdf4j-dev mailing list
rdf4j-dev@xxxxxxxxxxx
To change your delivery options, retrieve your password, or unsubscribe from this list, visit
https://www.eclipse.org/mailman/listinfo/rdf4j-dev