Update sync-docs target to use git porcelain instead of cogito