[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