<p></p>
<p><b>@hlfan</b> commented on this pull request.</p>

<hr>

<p>In <a href="https://github.com/openstreetmap/openstreetmap-website/pull/6424#discussion_r2413665163">.github/workflows/devcontainer.yml</a>:</p>
<pre style='color:#555'>> @@ -0,0 +1,17 @@
+name: devcontainer
+
+on:
+  - push
+  - pull_request
+
</pre>
<p dir="auto">So I've now tried matching the style of <code class="notranslate">docker.yml</code>, <code class="notranslate">lint.yml</code>, and <code class="notranslate">tests.yml</code>, and, locally, Git does NOT conflate the history of the workflows then either. So if you've been keeping these around for that reason, it's unnecessary. And as Tom already suggested, rebasing the commits as "one to add devcontainer and the one to remove docker" would eliminate the chance of this happening accidentally anyway.</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />Reply to this email directly, <a href="https://github.com/openstreetmap/openstreetmap-website/pull/6424#discussion_r2413665163">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AAK2OLOLAVKEWPWZX2QYTXD3WT6GTAVCNFSM6AAAAACIAUD6DKVHI2DSMVQWIX3LMV43YUDVNRWFEZLROVSXG5CSMV3GSZLXHMZTGMJUGU2DOMBRGI">unsubscribe</a>.<br />You are receiving this because you are subscribed to this thread.<img src="https://github.com/notifications/beacon/AAK2OLN3KJ6MX7EQZAEBHEL3WT6GTA5CNFSM6AAAAACIAUD6DKWGG33NNVSW45C7OR4XAZNRKB2WY3CSMVYXKZLTORJGK5TJMV32UY3PNVWWK3TUL5UWJTWFR74UI.gif" height="1" width="1" alt="" /><span style="color: transparent; font-size: 0; display: none; visibility: hidden; overflow: hidden; opacity: 0; width: 0; height: 0; max-width: 0; max-height: 0; mso-hide: all">Message ID: <span><openstreetmap/openstreetmap-website/pull/6424/review/3314547012</span><span>@</span><span>github</span><span>.</span><span>com></span></span></p>
<script type="application/ld+json">[
{
"@context": "http://schema.org",
"@type": "EmailMessage",
"potentialAction": {
"@type": "ViewAction",
"target": "https://github.com/openstreetmap/openstreetmap-website/pull/6424#discussion_r2413665163",
"url": "https://github.com/openstreetmap/openstreetmap-website/pull/6424#discussion_r2413665163",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>