index
:
coq
master
The formal proof system
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
dev
/
doc
/
MERGING.md
Age
Commit message (
Expand
)
Author
2019-12-24
Update merging doc following the full move to teams.
Théo Zimmermann
2019-05-21
Fixing typos - Part 1
JPR
2019-05-05
New infrastructure for the unreleased changelog.
Théo Zimmermann
2019-02-28
Fix #9110: mention check-owners-pr.sh
Théo Zimmermann
2019-01-22
Remove travis
Gaëtan Gilbert
2018-11-22
Document code owner team creation.
Théo Zimmermann
2018-11-06
Update/improve two aspects of the merging process.
Théo Zimmermann
2018-10-05
Rename CHANGES to CHANGES.md.
Guillaume Melquiond
2018-06-13
Document how to restart failed CI jobs.
Théo Zimmermann
2018-06-13
Markdown docs: switch from absolute to relative links.
Théo Zimmermann
2018-05-24
Complete rewrite of the documentation of overlays after Jim's additional comm...
Théo Zimmermann
2018-05-24
Improve merging and overlay documentations.
Théo Zimmermann
2018-05-15
Update MERGING.md
Matthieu Sozeau
2018-05-15
Update MERGING.md
Matthieu Sozeau
2018-05-15
git / gpg integration link
Matthieu Sozeau
2018-04-11
merge script support https + typos in doc
Pierre Courtieu
2018-04-05
Add note for homebrew users.
Théo Zimmermann
2018-04-05
Some advice about merge script dependencies.
Théo Zimmermann
2018-04-05
Improve the MERGING doc.
Théo Zimmermann
2018-03-23
More precise wording about the merge process.
Maxime Dénès
2018-03-21
Refine a bit the decentralized merging process.
Maxime Dénès
2018-03-19
Describe new merging process.
Maxime Dénès