Sam Vilain <sam@xxxxxxxxxx> writes:
> One time again, this time with the call to porcelain command
> `git-branch` replaced with the plumbing command `symbolic-ref HEAD`
>
> I also changed the output to be a little less "Got here\n" style.
>
> Subject: [PATCH] git-remote: implement prune -c
>
> It would be nice to prune local refs which are irrelevant; add an
> option to git-remote prune, with documentation.
I do not understand what workflow you are assuming, so your use
of the word "irrelevant" does not mean much to me. I suspect
other readers of the patch and documentation wouldn't find it
clear in what situation this option is useful.
Perhaps you are thinking about this scenario? I am only
guessing because you are not clear enough:
$ git clone
... time passes ...
$ git checkout -b next origin/next
... build, install, have fun ...
$ git checkout master
... time passes ...
$ git branch
... notice that you do not hack on your copy of 'next'
... and want to remove it
$ git remote prune -c
In any case, are you checking irrelevancy? What if your foo branch has
more changes to be sent upstream? Even when the remote has a
bit older version doesn't your code remove yours? For example,
if you did this, instead of the above, what happens?
$ git clone
... time passes ...
$ git checkout -b next origin/next
... build, install, have fun ...
... find an opportunity to improve ...
$ edit
$ git commit ;# on your 'next'.
... build, install, test ...
$ git checkout master
... time passes ...
$ git branch
... notice that you do not hack on your copy of 'next' anymore,
... and want to remove it
$ git remote prune -c
If the above is the usage scenario you are trying to help, then
wouldn't it be helpful if you could also help removing 'my-next'
in this slightly altered example?
$ git clone
... time passes ...
$ git checkout -b my-next origin/next
... build, install, have fun ...
$ git checkout master
... time passes ...
$ git branch
... notice that you do not hack on your copy of 'next'
... which is 'my-next', and want to remove it
$ git remote prune -c
-
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