Hello,
On Fri 03 May 2019 at 11:10AM +01, Ian Jackson wrote:
> While you're at it, I don't suppose you fancy implementing an option
> to automatically detach HEAD at the source, if necessary ? In
> practice it is often the case that the branch to be moved is HEAD at
> the source. (I don't
Sean Whitton writes ("Re: Bug#914398: git-branchmove: does not respect
insteadOf, pushInsteadOf git configuration keys"):
> On Fri 03 May 2019 at 11:10AM +01, Ian Jackson wrote:
> > While you're at it, I don't suppose you fancy implementing an option
> > to automatically
Hello,
On Fri 03 May 2019 at 11:10AM +01, Ian Jackson wrote:
> While you're at it, I don't suppose you fancy implementing an option
> to automatically detach HEAD at the source, if necessary ? In
> practice it is often the case that the branch to be moved is HEAD at
> the source. (I don't
Sean Whitton writes ("Bug#914398: git-branchmove: does not respect insteadOf,
pushInsteadOf git configuration keys"):
> Perhaps a complete fix would have to be something like
>
> git remote add dummyOnlyWeUseThis $remote
> remote=$(git remote get-url --push dummyOn
Hello Ian,
On Thu 02 May 2019 at 08:17PM +01, Ian Jackson wrote:
> Hi. I'm not sure why are are treating these two cases so differently.
> The purpose the case statement is solely to try to avoid calling "git
> config" on things which are not remote names.
>
> But in both cases we want
Sean Whitton writes ("Bug#914398: git-branchmove: does not respect insteadOf,
pushInsteadOf git configuration keys"):
> On Thu 22 Nov 2018 at 09:39PM -07, Sean Whitton wrote:
> > git-branchmove ignores the git configuration keys insteadOf and
> > pushInsteadOf.
>
>
Hello,
On Thu 22 Nov 2018 at 09:39PM -07, Sean Whitton wrote:
> git-branchmove ignores the git configuration keys insteadOf and
> pushInsteadOf.
Beginnings of a fix (untested):
diff --git a/scripts/git-branchmove b/scripts/git-branchmove
index 5751c38..e315884 100755
---
Package: chiark-scripts
Version: 6.0.3
Dear maintainer,
git-branchmove ignores the git configuration keys insteadOf and
pushInsteadOf. In my ~/.gitconfig I have
[url "g...@spwhitton.name:"]
pushInsteadOf = https://git.spwhitton.name/
pushInsteadOf = git://spwhitton.name/
8 matches
Mail list logo