git revert and push said "prohibited by allowed_attachments (user is not an admin...