Thomas Koch <thomas@xxxxxxx> writes: > Now I made a local change and pushed again, but the servers workdir is > not automatically forwarded to the pushed state. How do I forward it? http://git.or.cz/gitwiki/GitFaq?action=show&redirect=GitFAQ#head-b96f48bc9c925074be9f95c0fce69bcece5f6e73 -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
