 Pietro Albini
|
035dac6320
add a per-repository configuration file
|
6 years ago |
|
Pietro Albini
|
8c91b9330a
apply clippy suggestions
|
6 years ago |
|
Pietro Albini
|
0840f0e6d3
automatically fetch the github username from the API
|
6 years ago |
 Mark Rousskov
|
345f4043d2
Check labels added against a whitelist for non team members.
|
6 years ago |
|
Mark Rousskov
|
9ce2eca4f8
Move username to configuration
|
6 years ago |
|
Mark Rousskov
|
e5f3623c43
Post error comment when command parsing fails
|
6 years ago |
|
Mark Rousskov
|
06480f844c
Move to new label parser in server
|
6 years ago |
|
Mark Rousskov
|
525ad907ff
Fix assignee check
|
6 years ago |
|
Mark Rousskov
|
67f28d6d08
Verify assignees
|
6 years ago |
|
Mark Rousskov
|
651c5de187
Add debug logging
|
6 years ago |
|
Mark Rousskov
|
9e9f2e9fd8
Implement assignment
|
6 years ago |
|
Mark Rousskov
|
9f4afbc50f
Restructure into individual handlers
|
6 years ago |
|
Mark Rousskov
|
1c343c84d9
Warning-free code
|
6 years ago |
|
Mark Rousskov
|
661ccbb58d
Verify that labels exist before passing them to replacement API
|
6 years ago |
|
Mark Rousskov
|
1452f0989f
Fix GitHub issue description
|
6 years ago |
|
Mark Rousskov
|
e3be7f056b
Implement labeling issues
|
6 years ago |
