@pablobm commented on this pull request.
> @@ -0,0 +1,17 @@
+name: devcontainer
+
+on:
+ - push
+ - pull_request
+
Oh, right, no idea. I have never known what heuristics Git applies to identify
files as "moved".
However, on reflection I prefer not to do it. They are different workflows,
even if ultimately they are about running Docker. I think it makes more sense
to accept them as separate.
--
Reply to this email directly or view it on GitHub:
https://github.com/openstreetmap/openstreetmap-website/pull/6424#discussion_r2413430948
You are receiving this because you are subscribed to this thread.
Message ID:
<openstreetmap/openstreetmap-website/pull/6424/review/[email protected]>
_______________________________________________
rails-dev mailing list
[email protected]
https://lists.openstreetmap.org/listinfo/rails-dev
