GitHub for the editing of the Astronomy & Astrophysics article on AstroTaverna