Skip to content

Conversation

@avnik
Copy link
Contributor

@avnik avnik commented Dec 18, 2023

No description provided.

@aciceri
Copy link
Member

aciceri commented Dec 18, 2023

Please add the the license also to the docs page in the website.

@avnik
Copy link
Contributor Author

avnik commented Dec 19, 2023

@aciceri fixed

Copy link
Member

@aciceri aciceri left a comment

Choose a reason for hiding this comment

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

Could you please rename commits following conventional commits as usual? (I also always forget and then have to rename, I'm starting to doubt how useful they really are in our case)

@aciceri aciceri merged commit bc97a6b into master Dec 20, 2023
@aciceri aciceri deleted the avnik/license branch December 20, 2023 17:07
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.

3 participants