hexops/mach

infrastructure: automate sub-repository synchronization #44

New issue

Closed

opened 2021-10-24 14:32:26 +00:00 by emidoots · 0 comments

emidoots commented

2021-10-24 14:32:26 +00:00

(Migrated from github.com)

Set up a GitHub action or something that periodically runs the (currently manual) process to sync sub-repositories:

./dev/push-subrepos.sh

Also we should remove ./dev/pull-subrepos.sh now that it is often ineffective (and we don't accept PRs to subrepos to avoid the complex merge conflicts that can arise even in simple cases)

Set up a GitHub action or something that periodically runs the (currently manual) process to sync sub-repositories: ``` ./dev/push-subrepos.sh ``` Also we should remove `./dev/pull-subrepos.sh` now that it is often ineffective (and we don't accept PRs to subrepos to avoid the complex merge conflicts that can arise even in simple cases)

Sign in to join this conversation.

No labels

contributor-friendly

direct3d-headers

driver-os-issue

linux-audio-headers

package-manager

proposal-accepted

vulkan-zig-generated

wayland-headers

xcode-frameworks

No milestone

No project

No assignees

1 participant

Notifications

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

hexops/mach#44

No description provided.