.github/labels: Update list of labels to match current repository
#1283
Comments
|
Hi, I'm a student from the University of Texas at Austin interested in working on this issue for my virtualization class (CS 360V). What's the status of this issue? |
|
Hey @arvganesh I don't think someone is working on this at the moment. It's not a very technical task, but you can try it out if you fancy 🙏 |
|
Sounds good – I'd be willing to do so! |
|
Hi @craciunoiuc, want to make sure I'm understanding this correctly. Is the goal of this task to update the YAML files in 
|
|
@arvganesh exactly, they should match as much as possible |
|
@craciunoiuc I found that some of the labels don't have corresponding entries in |
|
yup, sure thing, add them |
Feature request summary
Someone needs to go and update automated labels that are used inside unikraft.
First such case is the
area/type. Someone needs to go and add all new areas, and also update existing ones in case there are description/color mismatches.Everything else in the directory needs to be brought up to date so it matches current labels so we can use them as part of the CI.
After all this I can go and convince
governctlto apply more tags than justarea/ones.[1] https://github.com/unikraft/unikraft/blob/staging/.github/labels/area.yaml
[2] https://github.com/unikraft/unikraft/tree/staging/.github/labels
Describe alternatives
No response
Related architectures
None
Related platforms
None
Additional context
No response
The text was updated successfully, but these errors were encountered: