[INFO] approved label on GitHub Issues/PRs

[Jean-Baptiste Onofré]

Hi folks,

FYI, I added the "approved" label available on GitHub Issues & PRs.

The purpose of this label is to identify the proposal (issues) and
"design" PRs where we have consensus and have been "approved".

Regards
JB