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.

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

Update release instructions #1880

Merged
merged 2 commits into from
Apr 12, 2023
Merged

Update release instructions #1880

merged 2 commits into from
Apr 12, 2023

Conversation

apedroferreira
Copy link
Member

@apedroferreira apedroferreira commented Apr 12, 2023

Small update to release instructions with some things I noticed were missing and might be useful.

@apedroferreira apedroferreira added the docs Improvements or additions to the documentation label Apr 12, 2023
@apedroferreira apedroferreira self-assigned this Apr 12, 2023
@apedroferreira apedroferreira requested a review from a team April 12, 2023 13:33
@apedroferreira apedroferreira merged commit 2a57d31 into master Apr 12, 2023
@apedroferreira apedroferreira deleted the update-release branch April 12, 2023 14:42
@Janpot
Copy link
Member

Janpot commented Apr 12, 2023

We let github autonumber the ordered lists, but it seems it uses roman numerals for nested lists. Not the greatest, but I don't really care either way tbh.

@apedroferreira
Copy link
Member Author

We let github autonumber the ordered lists, but it seems it uses roman numerals for nested lists. Not the greatest, but I don't really care either way tbh.

Looks like my first commit had changed it to numbers automatically but I think roman numbers is fine.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
docs Improvements or additions to the documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants