Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / coq-doc
Commits:
f70ccf62 by Julien Puydt at 2022-02-06T21:35:10+01:00
New upstream version 8.15.0
- - - - -
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/-/commit/f70ccf62c56413cc4046337cdd6a37c9d6feb819
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/coq-doc/-/commit/f70ccf62c56413cc4046337cdd6a37c9d6feb819
You're receiving this email because of your account on salsa.debian.org.
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "
http://www.w3.org/TR/REC-html40/loose.dtd">
<html lang="en">
<head>
<meta content="text/html; charset=US-ASCII" http-equiv="Content-Type">
<title>
GitLab
</title>
<style>img {
max-width: 100%; height: auto;
}
</style>
</head>
<body>
<div class="content">
Julien Puydt pushed to branch upstream
at <a href="
https://salsa.debian.org/ocaml-team/coq-doc">Debian OCaml Maintainers / coq-doc</a>
</h3>
Commits:
</h4>
<strong><a href="
https://salsa.debian.org/ocaml-team/coq-doc/-/commit/f70ccf62c56413cc4046337cdd6a37c9d6feb819">f70ccf62</a></strong>
<div>
<span>by Julien Puydt</span>
<i>at 2022-02-06T21:35:10+01:00</i>
</div>
<pre class="commit-message" style="white-space: pre-wrap; margin: 0;">New upstream version 8.15.0</pre>
</li>
</ul>
<h4>13 changed files:</h4>
<li class="file-stats">
<a href="#24139dae656713ba861751fb2c2ac38839349a7a">
<span class="deleted-file">
−
.gitattributes
</span>
</li>
<li class="file-stats">
<a href="#7f9004ad0df1b6391abc998d9a153f9e763cbdd7">
<span class="new-file">
+
.github/CODEOWNERS
</span>
</li>
<li class="file-stats">
<a href="#e92266778ac0ab35c5df350376a55fe504bb38b8">
<span class="new-file">
+
.github/ISSUE_TEMPLATE.md
</span>
</li>
<li class="file-stats">
<a href="#b8baf23d7ed7f2b79b86aeb041867428fb196428">
<span class="new-file">
+
.github/PULL_REQUEST_TEMPLATE.md
</span>
</li>
<li class="file-stats">
<a href="#f7478ad2bb1f2fdc99e6d1a022c885c19f82b885">
<span class="new-file">
+
.github/SUPPORT.md
</span>
</li>
<li class="file-stats">
<a href="#63d9ca3e8f27422671991ce01c2fcc20bdd0c862">
<span class="new-file">
+
.github/workflows/check-conflicts.yml
</span>
</li>
<li class="file-stats">
<a href="#899ce9c202bf7bb5480e72836c3edc773c9c4244">
<span class="new-file">
+
.github/workflows/ci.yml
</span>
</li>
<li class="file-stats">
<a href="#1d19aad7b7b27d190877325ddc2bf187f2ea4808">
<span class="new-file">
+
.github/workflows/stale.yml
</span>
</li>
<li class="file-stats">
<a href="#587d266bb27a4dc3022bbed44dfa19849df3044c">
<span class="new-file">
+
.gitlab-ci.yml
</span>
</li>
<li class="file-stats">
<a href="#d0e9cb1fab10296d90ef8e144f981f659bbd59ad">
<span class="deleted-file">
−
.mailmap
</span>
</li>
<li class="file-stats">
<a href="#92b1a9c4d89dc84f6c6a7bbdb9da81d1df006c7e">
<span class="deleted-file">
−
.merlin
</span>
</li>
<li class="file-stats">
<a href="#0cf472bed88991efb449d2d513fa25c0ae3c88e6">
<span class="new-file">
+
.ocamlformat
</span>
</li>
<li class="file-stats">
<a href="#b3ffb15924c1ae9e24dbbc94cef511a4daaf8697">
<span class="new-file">
+
.ocamlinit
</span>
</li>
</ul>
<h5>The diff was not included because it is too large.</h5>
</div>
<div class="footer" style="margin-top: 10px;">
<p style="font-size: small; color: #666;">
—
<a href="
https://salsa.debian.org/ocaml-team/coq-doc/-/commit/f70ccf62c56413cc4046337cdd6a37c9d6feb819">View it on GitLab</a>.
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.
<script type="application/ld+json">{"@context":"
http://schema.org","@type":"EmailMessage","action":{"@type":"ViewAction","name":"View Commit","url":"
https://salsa.debian.org/ocaml-team/coq-doc/-/commit/f70ccf62c56413cc4046337cdd6a37c9d6feb819"}}</script>
</div>
</body>
</html>
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)