Skip to content

Conversation

@lucacome
Copy link
Contributor

Updates docs and CI for name change from master to main

@lucacome lucacome requested a review from a team March 10, 2022 03:59
@lucacome lucacome self-assigned this Mar 10, 2022
@github-actions github-actions bot added chore Pull requests for routine tasks documentation Pull requests/issues for documentation labels Mar 10, 2022
@lucacome lucacome enabled auto-merge (squash) March 10, 2022 04:00
@lucacome lucacome requested review from eufinco and pleshakov March 10, 2022 04:07
@lucacome lucacome merged commit 33c6a35 into main Mar 10, 2022
@lucacome lucacome deleted the chore/rename-main-branch branch March 10, 2022 16:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore Pull requests for routine tasks documentation Pull requests/issues for documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants