On Fri, Aug 30, 2013 at 10:58 PM, Junio C Hamano wrote:
> Felipe Contreras writes:
>
>> There's no need to remove 'refs/heads/' yet again.
>>
>> Signed-off-by: Felipe Contreras
>> ---
>> git-pull.sh | 3 +--
>> 1 file changed, 1 insertion(+), 2 deletions(-)
>>
>> diff --git a/git-pull.sh b/git-
Felipe Contreras writes:
> There's no need to remove 'refs/heads/' yet again.
>
> Signed-off-by: Felipe Contreras
> ---
> git-pull.sh | 3 +--
> 1 file changed, 1 insertion(+), 2 deletions(-)
>
> diff --git a/git-pull.sh b/git-pull.sh
> index f0df41c..3bdcbfd 100755
> --- a/git-pull.sh
> +++ b/
There's no need to remove 'refs/heads/' yet again.
Signed-off-by: Felipe Contreras
---
git-pull.sh | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/git-pull.sh b/git-pull.sh
index f0df41c..3bdcbfd 100755
--- a/git-pull.sh
+++ b/git-pull.sh
@@ -166,7 +166,6 @@ error_on_no_mer
3 matches
Mail list logo