Fixes #2: adds edit on github button