aboutsummaryrefslogtreecommitdiff
path: root/dev/tools
AgeCommit message (Expand)Author
2020-02-24Remove hard to read blue color in merge-prGaëtan Gilbert
2020-02-21[merge-script] Improve warning in case of batch merging.Théo Zimmermann
2020-01-19Merge PR #11214: Add a script to pin CI developments.Gaëtan Gilbert
2020-01-07[merge script] Never bypass outdated branch sanity check.Théo Zimmermann
2019-12-02Remove deprecated compat modifier of Notation / Infix commands.Théo Zimmermann
2019-12-02Add a script to pin CI developments.Pierre-Marie Pédrot
2019-11-28Update README and make-changelog tool following introduction of changelog types.Théo Zimmermann
2019-11-25Error fatally if update-compat.py gets no flagJason Gross
2019-11-12Printing name of change log file in changelog script.Hugo Herbelin
2019-10-30Make changelog script aware of trailing slashes.Arthur Azevedo de Amorim
2019-10-11Simple script to prefill a changelog entryGaëtan Gilbert
2019-07-09merge-pr.sh: filter reviews to remove the PR authorGaëtan Gilbert
2019-07-06[python] Remove use of generic python shebang, update CIEmilio Jesus Gallego Arias
2019-06-17Adapt change-header script to handle shebangs in addition to Emacs comments.Théo Zimmermann
2019-06-17Update change-header script to support updating more than just files with ml-...Théo Zimmermann
2019-06-12Merge PR #10180: `deprecated` attribute support for notations and syntactic d...Théo Zimmermann
2019-06-06`deprecated` attribute support for notations and syntactic definitionsMaxime Dénès
2019-05-24Update coqdev-setup-proofgeneral for duneGaëtan Gilbert
2019-05-22Better dune ocamldebug integrationGaëtan Gilbert
2019-03-26Improve the backport script.Guillaume Melquiond
2019-03-01Update coqdev.el to use -topfileGaëtan Gilbert
2019-02-21Merge PR #9618: [dev/tools/create_overlays] remove trailing whitespaceEmilio Jesus Gallego Arias
2019-02-21remove meta trailing whitespaceEnrico Tassi
2019-02-21Merge PR #9388: merge-pr.sh: fix #9387: quick_conf doesn't work in emacs shel...Emilio Jesus Gallego Arias
2019-02-04Remove AppVeyor: superseded by Azure.Théo Zimmermann
2019-01-29Update update-compat.py scriptJason Gross
2019-01-29Merge PR #9383: Remove travisVincent Laporte
2019-01-24Update update-compat.py and release-process.mdJason Gross
2019-01-24Update update-compat.py scriptJason Gross
2019-01-23merge-pr.sh: fix #9387: quick_conf doesn't work in emacs shell bufferGaëtan Gilbert
2019-01-22Remove travisGaëtan Gilbert
2019-01-17Fix merge-pr.sh when multiple review commentsGaëtan Gilbert
2019-01-08merge-pr: add reviewer info to commit messageGaëtan Gilbert
2018-11-23Merge PR #9055: [dev] fix create_overlay wrt branch names containing /Emilio Jesus Gallego Arias
2018-11-22[dev] fix create_overlay wrt branch names containing /Enrico Tassi
2018-11-18merge-pr: Improve overlay checkGaëtan Gilbert
2018-11-17[devtools] Small script to setup overlays automaticallyEmilio Jesus Gallego Arias
2018-11-02Remove ml4 from Coq's make build systemGaëtan Gilbert
2018-10-08Merge PR #8627: [dune] [opam] Install `revision` file when building with Dune.Théo Zimmermann
2018-10-04rename test files (do not start by a digit)Vincent Laporte
2018-10-03[dune] [opam] Install `revision` file when building with Dune.Emilio Jesus Gallego Arias
2018-10-03Merge PR #8634: (For v8.9 and master) Remove -compat 8.6 and document the com...Théo Zimmermann
2018-10-02Update dev/doc/release-process: compat+automateJason Gross
2018-10-02[ci] [travis] Remove CI contrib testing from Travis.Emilio Jesus Gallego Arias
2018-07-18Merge PR #8054: [dev] Autogenerate OCaml dev files.Enrico Tassi
2018-07-16Only check overlay extensions on git-tracked filesJason Gross
2018-07-12[dev] Autogenerate OCaml dev files.Emilio Jesus Gallego Arias
2018-07-10Add new options --no-conflict and --no-signature-check to backport script.Théo Zimmermann
2018-06-09[merge script] Check if the CI that was run is outdated.Théo Zimmermann
2018-05-15[doc] Add an ELisp snippet to insert Sphinx roles and quotesClément Pit-Claudel
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 17:48:40 +0000