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

docs: Move acknowledgements/team to the website #5747

Merged
merged 1 commit into from
Oct 13, 2023

Conversation

ckipp01
Copy link
Member

@ckipp01 ckipp01 commented Oct 13, 2023

This came from a conversation offline with @tgodzik about the current company efforts towards maintaining Metals. This makes a couple changes:

  • Tries to accurately show what companies are currently backing Metals
  • Moves the acknowledgements and current team to the website instead of the readme. Arguably a lot of people may not ever see the readme, and this way this information can be more widely accessed by people viewing the website, not just the code.

@ckipp01 ckipp01 requested a review from tgodzik October 13, 2023 10:26
@ckipp01
Copy link
Member Author

ckipp01 commented Oct 13, 2023

@tgodzik let me know if this covers the points you brought up to me. Also open to other feedback from people on this.

This came from a conversation offline with @tgodzik about the current
company efforts towards maintaining Metals. This makes a couple changes:

- Tries to accurately show what companies are currently backing Metals
- Moves the acknowledgements and current team to the website instead of
  the readme. Arguably a lot of people may not ever see the readme, and
  this way this information can be more widely accessed by people
  viewing the website, not just the code.
Copy link
Contributor

@tgodzik tgodzik left a comment

Choose a reason for hiding this comment

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

LGTM! Thanks for working on this! I totally forgot about it.

@ckipp01 ckipp01 merged commit 885705f into scalameta:main Oct 13, 2023
22 of 24 checks passed
@ckipp01 ckipp01 deleted the acknowledgements branch October 13, 2023 12:42
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