Skip to content

Conversation

@axlehner
Copy link
Contributor

I did not like the enumeration, let's do bullet points instead! (sorry, I did not find anything else)

I did not like the enumeration, let's do bullet points instead! (sorry, I did not find anything else)
Copy link
Member

@luizaandrade luizaandrade left a comment

Choose a reason for hiding this comment

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

Hehe, that's fair, you'd already reviewed this. You can also link this PR to the issue that is solves and the issue will be automatically closed when the PR is merged to master by writing something like "resolves #31".

Here's the documentation for it: https://docs.github.com/en/issues/tracking-your-work-with-issues/linking-a-pull-request-to-an-issue

Anyway, this is approved. Please merge the PR and delete the branch once you've done so.

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