Skip to content
This repository has been archived by the owner on Jun 13, 2024. It is now read-only.

Remove mirroring workflow. #1037

Merged
merged 2 commits into from
Nov 1, 2023
Merged

Conversation

godofredoc
Copy link
Contributor

The repository is now using main and we are ready to archive the master branch.

The repository is now using main and we are ready to archive the master
branch.
@domesticmouse domesticmouse added the autosubmit Merge PR when tree becomes green via auto submit App. label Oct 31, 2023
@auto-submit auto-submit bot merged commit 26d5e31 into flutter:main Nov 1, 2023
11 checks passed
genx7up pushed a commit to aweps/gallery that referenced this pull request Dec 13, 2023
The repository is now using main and we are ready to archive the master branch.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
autosubmit Merge PR when tree becomes green via auto submit App.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants