improve release_notes.py: filter noise labels and guard against stale GitHub index#8903
Closed
reiabreu wants to merge 2 commits into
Closed
improve release_notes.py: filter noise labels and guard against stale GitHub index#8903reiabreu wants to merge 2 commits into
reiabreu wants to merge 2 commits into