tinyos/tinyos-main — pull request #1 by carlsondc (2012-12-19 17:51:26+00:00)
Title: Add warning about non-fast-forward pushes

I'm assuming that anybody with push privileges would know this already, but...