-
Notifications
You must be signed in to change notification settings - Fork 656
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
Tracking: Tockbot #3890
Comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
#3822 introduced Tockbot, a Python script to automate some maintenance tasks in the Tock repository. This issue tracks current supported jobs and their configurations, a wishlist of new features, and known issues. Feel free to update this top posting.
Current Features
Currently, Tockbot runs the following jobs:
tock/tools/tockbot/maint_nightly.yaml
Lines 34 to 35 in b7fd5e9
For stale PRs that do not have an active reviewer assigned, assign such a reviewer. For the definition of staleness, see the above task configuration.
Wishlist
Known Issues
tock/tools/tockbot/maint_nightly.yaml
Lines 52 to 54 in b7fd5e9
Fix: tools/tockbot: fix logic for ignoring PRs by labels #3891
The text was updated successfully, but these errors were encountered: