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.

Sign up for GitHub

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

Jump to bottom

atlantis 0.8.2 #40913

Closed
wants to merge 1 commit into from
Closed

atlantis 0.8.2 #40913

wants to merge 1 commit into from

Conversation

chenrui333
Copy link
Member

Created with brew bump-formula-pr.

@chenrui333
Copy link
Member Author

Jenkins is going to shut down

@chenrui333
Copy link
Member Author

@BrewTestBot test this please

@fxcoudert fxcoudert closed this in 1722b75 Jun 12, 2019
@lock lock bot added the outdated PR was locked due to age label Feb 4, 2020
@lock lock bot locked as resolved and limited conversation to collaborators Feb 4, 2020
@chenrui333 chenrui333 deleted the atlantis-0.8.2 branch December 18, 2022 04:08
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers
No reviews
Assignees
No one assigned
Labels
outdated PR was locked due to age
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@chenrui333