diff options
Diffstat (limited to 'CONTRIBUTING.md')
| -rw-r--r-- | CONTRIBUTING.md | 3 |
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. | |||
| 120 | Maintainers need to do the following to push out a release: | 120 | Maintainers need to do the following to push out a release: |
| 121 | 121 | ||
| 122 | 1. Make sure that all pending and mergeable pull requests are in | 122 | 1. Make sure that all pending and mergeable pull requests are in |
| 123 | 2. Run `valgrind` and check that everything is ok | 123 | 2. 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. | ||
| 124 | 3. Update the `src/php_snuffleupagus.h` file: drop the `-dev` suffix and check new version comply with [semantic versioning](https://semver.org/) | 125 | 3. Update the `src/php_snuffleupagus.h` file: drop the `-dev` suffix and check new version comply with [semantic versioning](https://semver.org/) |
| 125 | 4. Update the changelog page in the documentation | 126 | 4. Update the changelog page in the documentation |
| 126 | 5. Update the Debian changelog in `./debian/changelog` with `dch` | 127 | 5. Update the Debian changelog in `./debian/changelog` with `dch` |