Hello, I've stepped away from the edu-sharing plugin development and would like the lead maintainer to be changed to the edu-shaing user (id=5580377).

Could you please change that for alle the edu.sharing plugins I currently maintain:
https://moodle.org/plugins/mod_edusharing
https://moodle.org/plugins/atto_edusharing
https://moodle.org/plugins/filter_edusharing
https://moodle.org/plugins/editor_edusharing
https://moodle.org/plugins/block_edusharing_workspace

Thanks for you help!

Christian