I had never heard of git notes before. It seems like they could indeed be really useful if they were exposed more.