[Git][ocaml-team/coq][master] 5 commits: Rework things to simplify updating

["Julien Puydt (@jpuydt)" <gitlab@salsa.debian.org>]

Title: GitLab

Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq

Commits:

• a99782b9
  by Julien Puydt at 2021-11-05T21:51:01+01:00

  Rework things to simplify updating
  

• 7af584de
  by Julien Puydt at 2021-11-05T21:51:30+01:00

  New upstream version 8.14.0+dfsg

• 2230da18
  by Julien Puydt at 2021-11-05T21:51:38+01:00

  Update upstream source from tag 'upstream/8.14.0+dfsg'
  
  Update to upstream version '8.14.0+dfsg'
  with Debian dir 60409a1a321960512f9c3b4aee7f6ace67f5a369

• 85e8c618
  by Julien Puydt at 2021-11-08T07:54:43+01:00

  Package new upstream 8.14.0
  

• 223f9fc7
  by Julien Puydt at 2021-11-08T07:54:47+01:00

  Prepare for upload to experimental
  

24 changed files:

• .github/CODEOWNERS
• .github/ISSUE_TEMPLATE.md
• .github/PULL_REQUEST_TEMPLATE.md
• .github/SUPPORT.md
• + .github/workflows/check-conflicts.yml
• + .github/workflows/ci.yml
• .gitlab-ci.yml
• − .merlin.in
• .ocamlformat
• CODE_OF_CONDUCT.md
• CONTRIBUTING.md
• CREDITS
• INSTALL.md
• − META.coq.in
• Makefile
• Makefile.build
• − Makefile.checker
• Makefile.ci
• Makefile.common
• Makefile.dev
• Makefile.doc
• Makefile.dune
• Makefile.ide
• Makefile.install

The diff was not included because it is too large.

—
View it on GitLab.
You're receiving this email because of your account on salsa.debian.org. If you'd like to receive fewer emails, you can adjust your notification settings.