aboutsummaryrefslogtreecommitdiff
path: root/dev/doc/MERGING.md
AgeCommit message (Expand)Author
2019-05-21Fixing typos - Part 1JPR
2019-05-05New infrastructure for the unreleased changelog.Théo Zimmermann
2019-02-28Fix #9110: mention check-owners-pr.shThéo Zimmermann
2019-01-22Remove travisGaëtan Gilbert
2018-11-22Document code owner team creation.Théo Zimmermann
2018-11-06Update/improve two aspects of the merging process.Théo Zimmermann
2018-10-05Rename CHANGES to CHANGES.md.Guillaume Melquiond
2018-06-13Document how to restart failed CI jobs.Théo Zimmermann
2018-06-13Markdown docs: switch from absolute to relative links.Théo Zimmermann
2018-05-24Complete rewrite of the documentation of overlays after Jim's additional comm...Théo Zimmermann
2018-05-24Improve merging and overlay documentations.Théo Zimmermann
2018-05-15Update MERGING.mdMatthieu Sozeau
2018-05-15Update MERGING.mdMatthieu Sozeau
2018-05-15git / gpg integration linkMatthieu Sozeau
2018-04-11merge script support https + typos in docPierre Courtieu
2018-04-05Add note for homebrew users.Théo Zimmermann
2018-04-05Some advice about merge script dependencies.Théo Zimmermann
2018-04-05Improve the MERGING doc.Théo Zimmermann
2018-03-23More precise wording about the merge process.Maxime Dénès
2018-03-21Refine a bit the decentralized merging process.Maxime Dénès
2018-03-19Describe new merging process.Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 19:15:00 +0000