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.

Sign up for GitHub

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

Jump to bottom

Add support for custom roles in website, beyond "Team leader" #1154

Merged
merged 6 commits into from
Jan 8, 2024
Merged

Add support for custom roles in website, beyond "Team leader" #1154

merged 6 commits into from
Jan 8, 2024

Commits on Jan 8, 2024

  1. Add support for custom roles in website, beyond "Team leader"

    @dtolnay
    dtolnay committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    081a2e5 View commit details
    Browse the repository at this point in the history

  2. Convert elements of members array from String to struct 

    In preparation for adding optional `roles` for members.
    @dtolnay
    dtolnay committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    4e3b110 View commit details
    Browse the repository at this point in the history

  3. Specify roles inline in the members declaration

    @dtolnay
    dtolnay committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    f87b58b View commit details
    Browse the repository at this point in the history

  4. Address nits from PR 1154 review

    @dtolnay
    dtolnay committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    cc7d46b View commit details
    Browse the repository at this point in the history

  5. Update toml schema for website roles

    @dtolnay
    dtolnay committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    b898a2e View commit details
    Browse the repository at this point in the history

  6. Improve TOML schema of custom roles

    @dtolnay
    dtolnay committed Jan 8, 2024
    Configuration menu
    Copy the full SHA
    22a07bd View commit details
    Browse the repository at this point in the history