# 8.20 branching next month

**URL:** <https://discourse.rocq-prover.org/t/8-20-branching-next-month/2291>\
**Category:** Developing the Rocq Prover\
**Created:** [May 15, 2024, 9:32am UTC](https://discourse.rocq-prover.org/t/8-20-branching-next-month/2291 "2024-05-15T09:32:42Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![proux01](https://sea1.discourse-cdn.com/flex001/user_avatar/discourse.rocq-prover.org/proux01/32/584_2.png) [@proux01](https://discourse.rocq-prover.org/u/proux01)\
**Post date:** [May 15, 2024, 9:32am UTC](https://discourse.rocq-prover.org/t/8-20-branching-next-month/2291/1 "2024-05-15T09:32:42Z")

</div>

Dear all,  
The branch for upcoming 8.20 is scheduled in about a month:

> **[Release Schedule for Coq 8.20](https://github.com/coq/coq/wiki/Release-Schedule-for-Coq-8.20)**
>
> Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo...

please remove from the 8.20+rc1 milestone any pull request  
that you already know won't be ready by then.