Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Setup GitLab mirror #78

Merged
merged 5 commits into from
Feb 7, 2025
Merged

Setup GitLab mirror #78

merged 5 commits into from
Feb 7, 2025

Conversation

EmilyBourne
Copy link
Member

@EmilyBourne EmilyBourne commented Feb 7, 2025

Setup a push to the public branch on GitLab when the main branch is updated on GitHub.

@EmilyBourne EmilyBourne marked this pull request as ready for review February 7, 2025 12:24
@EmilyBourne EmilyBourne temporarily deployed to GitLab GPU trigger February 7, 2025 12:25 — with GitHub Actions Inactive
@github-actions github-actions bot marked this pull request as draft February 7, 2025 12:44
Copy link

github-actions bot commented Feb 7, 2025

It seems like you haven't finished working on this PR so it has been put back into draft. Please remove the draft status when the PR can run tests without being interrupted.

@EmilyBourne EmilyBourne marked this pull request as ready for review February 7, 2025 13:12
@EmilyBourne EmilyBourne temporarily deployed to GitLab GPU trigger February 7, 2025 13:12 — with GitHub Actions Inactive
@EmilyBourne EmilyBourne enabled auto-merge (squash) February 7, 2025 13:17
@EmilyBourne EmilyBourne merged commit 67402b2 into main Feb 7, 2025
29 checks passed
@EmilyBourne EmilyBourne deleted the ebourne_setup_mirror branch February 7, 2025 13:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants