Remove git notes

Workers fail trying to add git notes, and a quick poll showed that nobody is relying on them anymore, so we're going to stop having notes entirely.