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

Docker and Pip were reversed; fixed #742

Merged
merged 3 commits into from
Mar 19, 2024
Merged

Conversation

RafLaf
Copy link
Contributor

@RafLaf RafLaf commented Mar 13, 2024

No description provided.

Copy link

cla-bot bot commented Mar 13, 2024

Thank you for your pull request. We require contributors to sign our Contributor License Agreement / Terms and Conditions, and we don't seem to have the users @RafLaf on file. In order for us to review and merge your code, please sign:

  • For individual contribution: our CLA
  • for Bounty submission, if you are an individual: our T&C
  • for Bounty submission, if you are a company: our T&C
    to get yourself added.

If you already signed one of this document, just wait to be added to the bot config.

@bcm-at-zama
Copy link
Contributor

I can't believe we had this mistake, thx!

@aquint-zama
Copy link
Contributor

@cla-bot check

@cla-bot cla-bot bot added the cla-signed label Mar 18, 2024
Copy link

cla-bot bot commented Mar 18, 2024

The cla-bot has been summoned, and re-checked this pull request!

@bcm-at-zama
Copy link
Contributor

@RafLaf , could you change your commit message to be:

"docs(frontend): Docker and Pip were reversed"

please, to follow our conventions? Thanks a lot

@RafLaf
Copy link
Contributor Author

RafLaf commented Mar 18, 2024

I updated the commit message :)
Thanks for your consideration!

Copy link
Member

@BourgerieQuentin BourgerieQuentin left a comment

Choose a reason for hiding this comment

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

Thanks @RafLaf.

@BourgerieQuentin BourgerieQuentin merged commit 84382fa into zama-ai:main Mar 19, 2024
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants