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

Remove the GHA CI that files translation-needed issues #873

Merged
merged 2 commits into from
Jul 31, 2023

Conversation

MahdiBM
Copy link
Contributor

@MahdiBM MahdiBM commented Jul 31, 2023

As visible in #871, Penny is working correctly to take over this responsibility of GHA, so now we can remove that GHA CI.

As visible in #871, Penny is working correctly to take over this responsibility of GHA, so now we can remove that GHA CI.
@MahdiBM MahdiBM added the no-translation-needed This PR does not require the translations to be updated (e.g. fixing a typo or infrastructure work) label Jul 31, 2023
@MahdiBM MahdiBM merged commit 80edddf into main Jul 31, 2023
1 check passed
@MahdiBM MahdiBM deleted the mmbm-remove-gha-translation-needed branch July 31, 2023 20:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
no-translation-needed This PR does not require the translations to be updated (e.g. fixing a typo or infrastructure work)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants