Information note on Governing Body elections - Government Electoral College (June 2017 – June 2020)