| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-05-23 | [dev/tools] Fix #12314: do not die silently if branch has no remote. | Théo Zimmermann | |
| 2020-04-03 | Support when release branch is checked out in a worktree. | Théo Zimmermann | |
| 2020-04-03 | Add a rudimentary script to generate release changelog. | Théo Zimmermann | |
| The idea is very simple: use the list in the release branch to know which changelog entries to include, but do the work of removing these entries and consolidating the released changelog in the master branch (so that it is applied both to the master branch and to the release branch following the backporting process). | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |