That could totally be me. I was already disappointed the github app does not allow editing. Or does it? 😅