Skip to content

Conversation

fchirica
Copy link
Contributor

@fchirica fchirica commented Mar 1, 2022

No description provided.

@github-actions
Copy link
Contributor

This PR has been flagged as stale due to no activity for over 60 days. It will not be automatically closed, but it has been given a stale-pr label and should be manually reviewed by the relevant parties.

@github-actions github-actions bot added the stale-pr Flagged as stale and in need of manual review label Apr 17, 2022
@altendky altendky changed the base branch from atari to long_lived/atari May 12, 2022 02:09
@github-actions github-actions bot added the merge_conflict Branch has conflicts that prevent merge to main label Jun 17, 2022
@github-actions
Copy link
Contributor

This pull request has conflicts, please resolve those before we can evaluate the pull request.

@github-actions github-actions bot removed the stale-pr Flagged as stale and in need of manual review label Oct 13, 2023
Copy link
Contributor

This PR has been flagged as stale due to no activity for over 60 days. It will not be automatically closed, but it has been given a stale-pr label and should be manually reviewed by the relevant parties.

@github-actions github-actions bot added the stale-pr Flagged as stale and in need of manual review label Nov 27, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge_conflict Branch has conflicts that prevent merge to main stale-pr Flagged as stale and in need of manual review

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant