Skip to content

Conversation

@guimachiavelli
Copy link
Member

Closes #2119

@guimachiavelli guimachiavelli changed the base branch from main to v1.0 January 17, 2023 17:17
@guimachiavelli guimachiavelli marked this pull request as ready for review January 17, 2023 17:41
Copy link
Contributor

@maryamsulemani97 maryamsulemani97 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🦆

@guimachiavelli guimachiavelli added this to the v1.0 milestone Jan 30, 2023
@guimachiavelli
Copy link
Member Author

bors merge

@bors
Copy link
Contributor

bors bot commented Feb 2, 2023

Build succeeded:

@bors bors bot merged commit 079ae18 into v1.0 Feb 2, 2023
@bors bors bot deleted the v1-config-file-link branch February 2, 2023 17:04
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.

v1.0: Update config file link

3 participants