[Merged by Bors] - Add attribute to ignore fields of derived labels#5366
Closed
joseph-gio wants to merge 7 commits into
Closed
[Merged by Bors] - Add attribute to ignore fields of derived labels#5366joseph-gio wants to merge 7 commits into
joseph-gio wants to merge 7 commits into
Commits
Commits on Jul 18, 2022
- committed
- committed
- committed
- committed
- andcommitted
- committed
