Add GitHub push summary documentation
