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

Roadmap #1357

Open
19 tasks
uncenter opened this issue Oct 5, 2024 · 0 comments
Open
19 tasks

Roadmap #1357

uncenter opened this issue Oct 5, 2024 · 0 comments
Labels
meta Repository-wide issues

Comments

@uncenter
Copy link
Member

uncenter commented Oct 5, 2024

Want to make a general issue to publicly list some plans and thoughts we/I have regarding the future of userstyles. The following list will be updated somewhat frequently as I get through the list :)

Short term

Documentation website

Custom GitHub bot

  • Ping maintainers on issues for their userstyles.
  • Request maintainer reviews for pull requests on their userstyles (replacing CODEOWNERS).
    • Don't request maintainer reviews if the pull request modifies more than, say, 5 userstyles, and/or the pull request is titled with tree-wide. Leave comment noting this, and:
      • Provide command for staff for pinging maintainers on tree-wides. (@catppuccin/userstyles-bot ping tree-wide?)
  • Label pull requests (replacing other messy labeler stuff).
  • Request staff reviews (individually, not whole team) for init pull requests.
  • Provide command for merging pull requests, similar to https://github.com/NixOS/nixpkgs-merge-bot. (@catppucicn/userstyles-bot merge?)
    • Verify that user pinging bot is on userstyles-maintainers team.
    • Verify that pull request only modifies files for their userstyle(s).
      • Maintainers should not be able to use the bot to merge init pull requests.
    • Verifies the commit message is appropriate.
    • Verifies all checks have passed and all staff members have approved.
  • Use for CI, add as exception to branch rules, avoid USERSTYLES_TOKEN and infinite loop mess.
    • Push formatting, health file, and version bump changes to pull request right before merging? Avoids extra commits by squashing with init PR commit.

Long term

CleanShot 2024-12-24 at 13 58 41

Consolidation

@uncenter uncenter added the meta Repository-wide issues label Oct 5, 2024
@sgoudham sgoudham pinned this issue Oct 5, 2024
@uncenter uncenter mentioned this issue Oct 28, 2024
8 tasks
@uncenter uncenter mentioned this issue Dec 31, 2024
8 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
meta Repository-wide issues
Projects
None yet
Development

No branches or pull requests

1 participant