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

Workflow: Add label "staff" to issues and PR to help prioritisation #4726

Merged
merged 9 commits into from
Jul 9, 2024

Commits on Jul 9, 2024

  1. Configuration menu
    Copy the full SHA
    9efe167 View commit details
    Browse the repository at this point in the history
  2. print context

    siddharthkp committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    d8f051c View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    10d06ca View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    794a3d0 View commit details
    Browse the repository at this point in the history
  5. clean up a little

    siddharthkp committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    aed588d View commit details
    Browse the repository at this point in the history
  6. Configuration menu
    Copy the full SHA
    15d280c View commit details
    Browse the repository at this point in the history
  7. is this the syntax?

    siddharthkp committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    c775c48 View commit details
    Browse the repository at this point in the history
  8. Configuration menu
    Copy the full SHA
    418bfd1 View commit details
    Browse the repository at this point in the history
  9. Apply suggestion from @joshblack

    Co-authored-by: Josh Black <[email protected]>
    siddharthkp and joshblack committed Jul 9, 2024
    Configuration menu
    Copy the full SHA
    426cb32 View commit details
    Browse the repository at this point in the history