Neat GitHub feature I haven't seen before: if the contributing guide has changed since your last pull request, it tells you!