Skip to content

Comments

Remove archived repos#4960

Merged
kevindew merged 1 commit intomainfrom
remove-archived-repos
Jan 22, 2025
Merged

Remove archived repos#4960
kevindew merged 1 commit intomainfrom
remove-archived-repos

Conversation

@kevindew
Copy link
Member

Both of these were archived in the last couple of days and need to be removed from the dev docs to stop terraform trying to write to them (terraform tries to unarchive them but mercifully fails)

Both of these were archived in the last couple of days and need to be
removed from the dev docs to stop terraform trying to write to them
(terraform tries to unarchive them but mercifully fails)
@kevindew kevindew merged commit e6d010d into main Jan 22, 2025
5 checks passed
@kevindew kevindew deleted the remove-archived-repos branch January 22, 2025 13:44
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