Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq-doc
Commits: 8152918d by Julien Puydt at 2022-02-06T21:32:28+01:00 Switch from debian/compat to depend on debhelper-compat (and level 13) - - - - - ee49c538 by Julien Puydt at 2022-02-06T21:32:58+01:00 Bump standards-version to 4.6.0 - - - - - d306aee5 by Julien Puydt at 2022-02-06T21:33:30+01:00 Declare d/rules doesn't require root - - - - - e24c37e0 by Julien Puydt at 2022-02-06T21:34:14+01:00 Simplify d/rules - - - - - d9b924e5 by Julien Puydt at 2022-02-06T21:34:59+01:00 Rewrite d/watch following the main coq package - - - - - f70ccf62 by Julien Puydt at 2022-02-06T21:35:10+01:00 New upstream version 8.15.0 - - - - - d69f749c by Julien Puydt at 2022-02-06T21:35:28+01:00 Update upstream source from tag 'upstream/8.15.0' Update to upstream version '8.15.0' with Debian dir 44ef702abf4a8e6a75bd5d4c2627e932e7da8e47 - - - - - 0c53607b by Julien Puydt at 2022-02-08T15:04:29+01:00 Package new upstream 8.15.0 (closes: #1003539) - - - - - d1421a29 by Julien Puydt at 2022-02-08T16:45:59+01:00 Add myself to uploaders - - - - - 0c3696ce by Julien Puydt at 2022-02-08T17:10:26+01:00 Prepare for upload - - - - - 13 changed files: - − .gitattributes - + .github/CODEOWNERS - + .github/ISSUE_TEMPLATE.md - + .github/PULL_REQUEST_TEMPLATE.md - + .github/SUPPORT.md - + .github/workflows/check-conflicts.yml - + .github/workflows/ci.yml - + .github/workflows/stale.yml - + .gitlab-ci.yml - − .mailmap - − .merlin - + .ocamlformat - + .ocamlinit The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/compare/7a73b092493b8dd3dbf07aeb30070478ed1c7428...0c3696cebea1ee13c69d95dff139868b260581cd -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq-doc/-/compare/7a73b092493b8dd3dbf07aeb30070478ed1c7428...0c3696cebea1ee13c69d95dff139868b260581cd You're receiving this email because of your account on salsa.debian.org.
