Update publish_github.Rd