aboutsummaryrefslogtreecommitdiff
path: root/dev/tools
AgeCommit message (Expand)Author
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
2018-05-14Merge PR #7170: Script to identify the code owner for given filesMaxime Dénès
2018-05-14Merge PR #7337: dir-locals: add bug-reference-mode variablesEmilio Jesus Gallego Arias
2018-05-11coqdev.el: add bug-reference-mode variablesGaëtan Gilbert
2018-05-09use at least 6 Xs in mktemp filename templatesSven M. Hallberg
2018-04-26Add check-owners-pr.sh wrapper around check-ownersGaëtan Gilbert
2018-04-19Merge PR #7219: merge script support https + typos in docMaxime Dénès
2018-04-17pre-commit : do not fail miserably if git config has `apply.whitespace = fix`Pierre Letouzey
2018-04-11merge script support https + typos in docPierre Courtieu
2018-04-09Merge script: adds a way for confirmation to expect a newline.Théo Zimmermann
2018-04-09Add sanity check in merge script: local branch is up-to-date.Théo Zimmermann
2018-04-08Document requirement to have git >= 2.7 to use the merge script.Théo Zimmermann
2018-04-08Merge script does not warn when the remote is set to HTTPS.Théo Zimmermann
2018-04-08Merge script: use fetch URL for the remote.Théo Zimmermann
2018-04-05Improve shell scriptszapashcanon
2018-04-04check-owners.sh: add --show-patterns and --owner optionsGaëtan Gilbert
2018-04-04Script to identify the code owner for given filesGaëtan Gilbert
2018-04-03merge-pr.sh: cache github API callsGaëtan Gilbert
2018-03-31pre-commit: verify user overlay extensions (must be .sh).Gaëtan Gilbert
2018-03-23improve merge-pr scriptEnrico Tassi
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:44:57 +0000