Proposal: Release Jenkins weekly on Tuesday

classic Classic list List threaded Threaded
13 messages Options
Reply | Threaded
Open this post in threaded view
|

Proposal: Release Jenkins weekly on Tuesday

Mark Waite-2
The Jenkins core release automation process has released Jenkins weekly versions since 2.232.  Thanks to Olivier Vernin for his work on the project!

The most recent few weeks have run a weekly build on Monday.  The build typically runs during the European working day Monday, with options to spill into the U.S. working day.

I propose that we move the weekly build to Tuesday so that I don't need to prepare the weekly changelog on Sunday night.  That will allow us to continue running the build during the European working day and will allow the changelog to be prepared on Monday instead of Sunday.

If Tuesday is unacceptable for some reason, I'm open to consider Wednesday as release day rather than Tuesday.

Mark Waite

--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/6f040221-ed8e-494a-8285-c20a86aee90a%40googlegroups.com.
Reply | Threaded
Open this post in threaded view
|

Re: Proposal: Release Jenkins weekly on Tuesday

mike cirioli
I don’t have a large stake in the outcome of this decision, but it sounds like a pretty reasonable request to me.

-mike cirioli

> On May 18, 2020, at 1:30 PM, Mark Waite <[hidden email]> wrote:
>
> The Jenkins core release automation process has released Jenkins weekly versions since 2.232.  Thanks to Olivier Vernin for his work on the project!
>
> The most recent few weeks have run a weekly build on Monday.  The build typically runs during the European working day Monday, with options to spill into the U.S. working day.
>
> I propose that we move the weekly build to Tuesday so that I don't need to prepare the weekly changelog on Sunday night.  That will allow us to continue running the build during the European working day and will allow the changelog to be prepared on Monday instead of Sunday.
>
> If Tuesday is unacceptable for some reason, I'm open to consider Wednesday as release day rather than Tuesday.
>
> Mark Waite
>
> --
> You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
> To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/6f040221-ed8e-494a-8285-c20a86aee90a%40googlegroups.com.

--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/B92D481E-1423-4167-9B66-AA355442D7F6%40gmail.com.
Reply | Threaded
Open this post in threaded view
|

Re: Proposal: Release Jenkins weekly on Tuesday

Marky Jackson
+1

> On May 18, 2020, at 11:34 AM, mike cirioli <[hidden email]> wrote:
>
> I don’t have a large stake in the outcome of this decision, but it sounds like a pretty reasonable request to me.
>
> -mike cirioli
>
>> On May 18, 2020, at 1:30 PM, Mark Waite <[hidden email]> wrote:
>>
>> The Jenkins core release automation process has released Jenkins weekly versions since 2.232.  Thanks to Olivier Vernin for his work on the project!
>>
>> The most recent few weeks have run a weekly build on Monday.  The build typically runs during the European working day Monday, with options to spill into the U.S. working day.
>>
>> I propose that we move the weekly build to Tuesday so that I don't need to prepare the weekly changelog on Sunday night.  That will allow us to continue running the build during the European working day and will allow the changelog to be prepared on Monday instead of Sunday.
>>
>> If Tuesday is unacceptable for some reason, I'm open to consider Wednesday as release day rather than Tuesday.
>>
>> Mark Waite
>>
>> --
>> You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
>> To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
>> To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/6f040221-ed8e-494a-8285-c20a86aee90a%40googlegroups.com.
>
> --
> You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
> To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/B92D481E-1423-4167-9B66-AA355442D7F6%40gmail.com.

--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/8713B3C0-7953-4AFF-83EB-362373E33AF5%40gmail.com.
Reply | Threaded
Open this post in threaded view
|

Re: Proposal: Release Jenkins weekly on Tuesday

Daniel Beck
In reply to this post by Mark Waite-2


> On 18. May 2020, at 19:30, Mark Waite <[hidden email]> wrote:
>
> I propose that we move the weekly build to Tuesday so that I don't need to prepare the weekly changelog on Sunday night.


FWIW I proposed my favored approach in https://groups.google.com/d/msg/jenkinsci-dev/kVjOddydLEI/5-xDPIW7AQAJ but got no responses.

--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/DC57CD9D-9A95-4E8B-AB4F-B15D067B5BE8%40beckweb.net.
Reply | Threaded
Open this post in threaded view
|

Re: Proposal: Release Jenkins weekly on Tuesday

Tim Jacomb
+1 to Moving to Tuesday

On Mon, 18 May 2020 at 19:47, Daniel Beck <[hidden email]> wrote:


> On 18. May 2020, at 19:30, Mark Waite <[hidden email]> wrote:
>
> I propose that we move the weekly build to Tuesday so that I don't need to prepare the weekly changelog on Sunday night.


FWIW I proposed my favored approach in https://groups.google.com/d/msg/jenkinsci-dev/kVjOddydLEI/5-xDPIW7AQAJ but got no responses.

--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/DC57CD9D-9A95-4E8B-AB4F-B15D067B5BE8%40beckweb.net.

--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAH-3BicTNNa_DTwMnOcQ5UKsPO9nqwuQ%3DZT4eFmf7L4%2BkM2m%2BQ%40mail.gmail.com.
Reply | Threaded
Open this post in threaded view
|

Re: Proposal: Release Jenkins weekly on Tuesday

Mark Waite-2
In reply to this post by Daniel Beck


On Mon, May 18, 2020 at 12:47 PM Daniel Beck <[hidden email]> wrote:


> On 18. May 2020, at 19:30, Mark Waite <[hidden email]> wrote:
>
> I propose that we move the weekly build to Tuesday so that I don't need to prepare the weekly changelog on Sunday night.


FWIW I proposed my favored approach in https://groups.google.com/d/msg/jenkinsci-dev/kVjOddydLEI/5-xDPIW7AQAJ but got no responses.


I should have commented there. Sorry about that.

I'm uncomfortable creating the changelog on Friday for a release on Monday, but I can test drive that in the next weekly.  It is a very nice proposal that does not require any change of the day of the weekly release.  I worry that creating the changelog on Friday with release on Monday seems like it would either preclude merge on Saturday and on Sunday (for those who wish to do so) or require that we use a branch for weekly releases (which I'd rather not include in this proposal).
 
--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/DC57CD9D-9A95-4E8B-AB4F-B15D067B5BE8%40beckweb.net.

--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAO49JtFFrTCLggcox2Oyj9Qd%3DNhJq_XBV%3D1MqOt-s4O2keVjcQ%40mail.gmail.com.
Reply | Threaded
Open this post in threaded view
|

Re: Proposal: Release Jenkins weekly on Tuesday

Daniel Beck
In reply to this post by Mark Waite-2
Easy fix: Whoever wants to merge something on a weekend is responsible for updating the changelog.

If this isn't done, and you've merged fixes a few times, you lose commit access.


> On 18. May 2020, at 20:55, Mark Waite <[hidden email]> wrote:
>
> I worry that creating the changelog on Friday with release on
> Monday seems like it would either preclude merge on Saturday and on Sunday
> (for those who wish to do so)

--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/9E86865E-831C-4B5F-A4A2-77E6AB9882EB%40beckweb.net.
Reply | Threaded
Open this post in threaded view
|

Re: Proposal: Release Jenkins weekly on Tuesday

Tim Jacomb
Or we could possibly move weekly changelog to GitHub release only?

I think that would make it it more less effort by being automated + slight tweaks on top

Thoughts?

On Mon, 18 May 2020 at 20:18, Daniel Beck <[hidden email]> wrote:
Easy fix: Whoever wants to merge something on a weekend is responsible for updating the changelog.

If this isn't done, and you've merged fixes a few times, you lose commit access.


> On 18. May 2020, at 20:55, Mark Waite <[hidden email]> wrote:
>
> I worry that creating the changelog on Friday with release on
> Monday seems like it would either preclude merge on Saturday and on Sunday
> (for those who wish to do so)

--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/9E86865E-831C-4B5F-A4A2-77E6AB9882EB%40beckweb.net.

--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAH-3Bif7em3VUMjH9v_J%2BC%2B-8J4ds9AEyYtjJWORB6BgZjqMtA%40mail.gmail.com.
Reply | Threaded
Open this post in threaded view
|

Re: Proposal: Release Jenkins weekly on Tuesday

Mark Waite-2
In reply to this post by Daniel Beck


On Mon, May 18, 2020 at 1:18 PM Daniel Beck <[hidden email]> wrote:
Easy fix: Whoever wants to merge something on a weekend is responsible for updating the changelog.

If this isn't done, and you've merged fixes a few times, you lose commit access.


That seems like it will dissuade maintainers from merging on weekends.

The changelog won't be available for most pull request authors to submit a proposal with their pull requests because it doesn't become available until Friday.  If a maintainer starts the 24 merge clock on Friday, then when the clock is finished on Saturday, the maintainers performing a weekend merge would need to update the pull request they are merging with the changelog entry.

Mark Waite
 

> On 18. May 2020, at 20:55, Mark Waite <[hidden email]> wrote:
>
> I worry that creating the changelog on Friday with release on
> Monday seems like it would either preclude merge on Saturday and on Sunday
> (for those who wish to do so)

--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/9E86865E-831C-4B5F-A4A2-77E6AB9882EB%40beckweb.net.

--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAO49JtGoZaKxZWCdwi0e%3DwPpAA25v_AyD35Wvc5xaFcsRc7cAg%40mail.gmail.com.
Reply | Threaded
Open this post in threaded view
|

Re: Proposal: Release Jenkins weekly on Tuesday

Jeff Thompson

+1 on moving to Tuesday. A nice, easy solution, where nobody has expressed any downsides.

-1 to adding further complexity to the merge process and extending issues over the weekend. This is too prone to unintentional mistakes.

Jeff

On 5/18/20 2:02 PM, Mark Waite wrote:


On Mon, May 18, 2020 at 1:18 PM Daniel Beck <[hidden email]> wrote:
Easy fix: Whoever wants to merge something on a weekend is responsible for updating the changelog.

If this isn't done, and you've merged fixes a few times, you lose commit access.


That seems like it will dissuade maintainers from merging on weekends.

The changelog won't be available for most pull request authors to submit a proposal with their pull requests because it doesn't become available until Friday.  If a maintainer starts the 24 merge clock on Friday, then when the clock is finished on Saturday, the maintainers performing a weekend merge would need to update the pull request they are merging with the changelog entry.

Mark Waite
 

> On 18. May 2020, at 20:55, Mark Waite <[hidden email]> wrote:
>
> I worry that creating the changelog on Friday with release on
> Monday seems like it would either preclude merge on Saturday and on Sunday
> (for those who wish to do so)

--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/9E86865E-831C-4B5F-A4A2-77E6AB9882EB%40beckweb.net.
--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAO49JtGoZaKxZWCdwi0e%3DwPpAA25v_AyD35Wvc5xaFcsRc7cAg%40mail.gmail.com.

--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/16619b69-0889-3c98-3bea-e54693579876%40cloudbees.com.
Reply | Threaded
Open this post in threaded view
|

Re: Proposal: Release Jenkins weekly on Tuesday

Oleg Nenashev
I am +1. we should stop doing any planned weekend work.
Doing releases on Tuesday gives reviewers time to review and integrate changes submitted over the weekend.
I would be fine with even doing it Wednesday or Thursday, but in such case we would be getting into the collisions with the LTS and Core security releases

On Monday, May 18, 2020 at 10:10:11 PM UTC+2, Jeff Thompson wrote:

+1 on moving to Tuesday. A nice, easy solution, where nobody has expressed any downsides.

-1 to adding further complexity to the merge process and extending issues over the weekend. This is too prone to unintentional mistakes.

Jeff

On 5/18/20 2:02 PM, Mark Waite wrote:


On Mon, May 18, 2020 at 1:18 PM Daniel Beck <<a href="javascript:" target="_blank" gdf-obfuscated-mailto="BV5kdgGLDAAJ" rel="nofollow" onmousedown="this.href=&#39;javascript:&#39;;return true;" onclick="this.href=&#39;javascript:&#39;;return true;">m...@...> wrote:
Easy fix: Whoever wants to merge something on a weekend is responsible for updating the changelog.

If this isn't done, and you've merged fixes a few times, you lose commit access.


That seems like it will dissuade maintainers from merging on weekends.

The changelog won't be available for most pull request authors to submit a proposal with their pull requests because it doesn't become available until Friday.  If a maintainer starts the 24 merge clock on Friday, then when the clock is finished on Saturday, the maintainers performing a weekend merge would need to update the pull request they are merging with the changelog entry.

Mark Waite
 

> On 18. May 2020, at 20:55, Mark Waite <<a href="javascript:" target="_blank" gdf-obfuscated-mailto="BV5kdgGLDAAJ" rel="nofollow" onmousedown="this.href=&#39;javascript:&#39;;return true;" onclick="this.href=&#39;javascript:&#39;;return true;">mark.e...@...> wrote:
>
> I worry that creating the changelog on Friday with release on
> Monday seems like it would either preclude merge on Saturday and on Sunday
> (for those who wish to do so)

--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to <a href="javascript:" target="_blank" gdf-obfuscated-mailto="BV5kdgGLDAAJ" rel="nofollow" onmousedown="this.href=&#39;javascript:&#39;;return true;" onclick="this.href=&#39;javascript:&#39;;return true;">jenkin...@googlegroups.com.
To view this discussion on the web visit <a href="https://groups.google.com/d/msgid/jenkinsci-dev/9E86865E-831C-4B5F-A4A2-77E6AB9882EB%40beckweb.net" rel="nofollow" target="_blank" onmousedown="this.href=&#39;https://groups.google.com/d/msgid/jenkinsci-dev/9E86865E-831C-4B5F-A4A2-77E6AB9882EB%40beckweb.net&#39;;return true;" onclick="this.href=&#39;https://groups.google.com/d/msgid/jenkinsci-dev/9E86865E-831C-4B5F-A4A2-77E6AB9882EB%40beckweb.net&#39;;return true;">https://groups.google.com/d/msgid/jenkinsci-dev/9E86865E-831C-4B5F-A4A2-77E6AB9882EB%40beckweb.net.
--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to <a href="javascript:" target="_blank" gdf-obfuscated-mailto="BV5kdgGLDAAJ" rel="nofollow" onmousedown="this.href=&#39;javascript:&#39;;return true;" onclick="this.href=&#39;javascript:&#39;;return true;">jenkin...@googlegroups.com.
To view this discussion on the web visit <a href="https://groups.google.com/d/msgid/jenkinsci-dev/CAO49JtGoZaKxZWCdwi0e%3DwPpAA25v_AyD35Wvc5xaFcsRc7cAg%40mail.gmail.com?utm_medium=email&amp;utm_source=footer" target="_blank" rel="nofollow" onmousedown="this.href=&#39;https://groups.google.com/d/msgid/jenkinsci-dev/CAO49JtGoZaKxZWCdwi0e%3DwPpAA25v_AyD35Wvc5xaFcsRc7cAg%40mail.gmail.com?utm_medium\x3demail\x26utm_source\x3dfooter&#39;;return true;" onclick="this.href=&#39;https://groups.google.com/d/msgid/jenkinsci-dev/CAO49JtGoZaKxZWCdwi0e%3DwPpAA25v_AyD35Wvc5xaFcsRc7cAg%40mail.gmail.com?utm_medium\x3demail\x26utm_source\x3dfooter&#39;;return true;">https://groups.google.com/d/msgid/jenkinsci-dev/CAO49JtGoZaKxZWCdwi0e%3DwPpAA25v_AyD35Wvc5xaFcsRc7cAg%40mail.gmail.com.

--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/3a38926d-19f8-4226-a088-c8201e76b3f9%40googlegroups.com.
Reply | Threaded
Open this post in threaded view
|

Re: Proposal: Release Jenkins weekly on Tuesday

Baptiste Mathus-4
In reply to this post by Tim Jacomb
I'm all for making Mark and other active contributors' lives simpler.
So proposed solution to release on Tuesdays seems easy enough as a short-term one.

For longer-term, I agree fully with Tim. 
This should probably be automated and changelog be ready before merging. Maybe we could use some automation and auto-merging way, like the tooling would merge automatically after 24 hours of "ready-for-merge" label + some TBD check on the changelog readiness itself before merging?

Le lun. 18 mai 2020 à 21:27, Tim Jacomb <[hidden email]> a écrit :
Or we could possibly move weekly changelog to GitHub release only?

I think that would make it it more less effort by being automated + slight tweaks on top

Thoughts?

On Mon, 18 May 2020 at 20:18, Daniel Beck <[hidden email]> wrote:
Easy fix: Whoever wants to merge something on a weekend is responsible for updating the changelog.

If this isn't done, and you've merged fixes a few times, you lose commit access.


> On 18. May 2020, at 20:55, Mark Waite <[hidden email]> wrote:
>
> I worry that creating the changelog on Friday with release on
> Monday seems like it would either preclude merge on Saturday and on Sunday
> (for those who wish to do so)

--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/9E86865E-831C-4B5F-A4A2-77E6AB9882EB%40beckweb.net.

--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAH-3Bif7em3VUMjH9v_J%2BC%2B-8J4ds9AEyYtjJWORB6BgZjqMtA%40mail.gmail.com.

--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAPyTVp3A%2BEcg7C58Zmi%2BeT5jvic5bDRyVqhKbTH8tL5uXse5Ww%40mail.gmail.com.
Reply | Threaded
Open this post in threaded view
|

Re: Proposal: Release Jenkins weekly on Tuesday

Oleg Nenashev

This should probably be automated and changelog be ready before merging. Maybe we could use some automation and auto-merging way, like the tooling would merge automatically after 24 hours of "ready-for-merge" label + some TBD check on the changelog readiness itself before merging?  
 
We have some progress in automating changelog drafts, but ultimately this story needs to be finalized. So far a manual copy-editing of changelogs is required to achieve a good quality of our changelogs, still a lot to improve in our pull request merge process.

Speaking of that, would appreciate feedback in https://github.com/jenkinsci/core-changelog-generator/pull/12 which adds support for Markdown outputs to the Jenkins Core changelog generator.
Once it is integrated, we could add Jenkins changelog automation right inside the Release Pipeline.

Best regards,
Oleg




On Mon, May 18, 2020 at 10:54 PM Baptiste Mathus <[hidden email]> wrote:
I'm all for making Mark and other active contributors' lives simpler.
So proposed solution to release on Tuesdays seems easy enough as a short-term one.

For longer-term, I agree fully with Tim. 
This should probably be automated and changelog be ready before merging. Maybe we could use some automation and auto-merging way, like the tooling would merge automatically after 24 hours of "ready-for-merge" label + some TBD check on the changelog readiness itself before merging?

Le lun. 18 mai 2020 à 21:27, Tim Jacomb <[hidden email]> a écrit :
Or we could possibly move weekly changelog to GitHub release only?

I think that would make it it more less effort by being automated + slight tweaks on top

Thoughts?

On Mon, 18 May 2020 at 20:18, Daniel Beck <[hidden email]> wrote:
Easy fix: Whoever wants to merge something on a weekend is responsible for updating the changelog.

If this isn't done, and you've merged fixes a few times, you lose commit access.


> On 18. May 2020, at 20:55, Mark Waite <[hidden email]> wrote:
>
> I worry that creating the changelog on Friday with release on
> Monday seems like it would either preclude merge on Saturday and on Sunday
> (for those who wish to do so)

--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/9E86865E-831C-4B5F-A4A2-77E6AB9882EB%40beckweb.net.

--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAH-3Bif7em3VUMjH9v_J%2BC%2B-8J4ds9AEyYtjJWORB6BgZjqMtA%40mail.gmail.com.

--
You received this message because you are subscribed to a topic in the Google Groups "Jenkins Developers" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/jenkinsci-dev/wrdzF_ML5go/unsubscribe.
To unsubscribe from this group and all its topics, send an email to [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAPyTVp3A%2BEcg7C58Zmi%2BeT5jvic5bDRyVqhKbTH8tL5uXse5Ww%40mail.gmail.com.

--
You received this message because you are subscribed to the Google Groups "Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email to [hidden email].
To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/CAPfivLCDNWrs7uJJQuvKfF96660NyN3OuVW7BsuECJUynPK67g%40mail.gmail.com.