summaryrefslogtreecommitdiff
path: root/CONTRIBUTING.md
diff options
context:
space:
mode:
authorjvoisin2018-07-13 18:43:43 +0200
committerjvoisin2018-07-13 18:50:35 +0200
commit99f9ecae9a5edf5d36f5de62ccf60f9d9146057a (patch)
tree3c7d607e8325b68da9792a42ad875d0f1a5f69d2 /CONTRIBUTING.md
parent9e26ebb1c509f44d09f60e7569f0e9e2966026c1 (diff)
Improve a bit the release process
Diffstat (limited to 'CONTRIBUTING.md')
-rw-r--r--CONTRIBUTING.md3
1 files changed, 2 insertions, 1 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index b5eab51..9a31fd4 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -120,7 +120,8 @@ Any maintainer is allowed to merge a PR if all of these conditions are met.
120Maintainers need to do the following to push out a release: 120Maintainers need to do the following to push out a release:
121 121
1221. Make sure that all pending and mergeable pull requests are in 1221. Make sure that all pending and mergeable pull requests are in
1232. Run `valgrind` and check that everything is ok 1232. Run `valgrind` (by adding a `-m` after the `-q` in the Makefile) and check that everything is ok.
124 Don't mind the python-related issues.
1243. Update the `src/php_snuffleupagus.h` file: drop the `-dev` suffix and check new version comply with [semantic versioning](https://semver.org/) 1253. Update the `src/php_snuffleupagus.h` file: drop the `-dev` suffix and check new version comply with [semantic versioning](https://semver.org/)
1254. Update the changelog page in the documentation 1264. Update the changelog page in the documentation
1265. Update the Debian changelog in `./debian/changelog` with `dch` 1275. Update the Debian changelog in `./debian/changelog` with `dch`