error_buf        1723 remote.c       		return error_buf(err, _("HEAD does not point to a branch"));
error_buf        1732 remote.c       			return error_buf(err, _("no such branch: '%s'"),
error_buf        1734 remote.c       		return error_buf(err,
error_buf        1740 remote.c       		return error_buf(err,
error_buf        1755 remote.c       		return error_buf(err,
error_buf        1766 remote.c       		return error_buf(err, _("HEAD does not point to a branch"));
error_buf        1770 remote.c       		return error_buf(err,
error_buf        1781 remote.c       			return error_buf(err,
error_buf        1795 remote.c       		return error_buf(err, _("push has no destination (push.default is 'nothing')"));
error_buf        1816 remote.c       				return error_buf(err,