Thanks Marius,

it does not look like it's working for me. There are to many changes in
git diff...

the git pull and cat local_changes.diff |patch -p1 -R gives me an
endless list of differences.

Cheers Jochen

On 21.07.2015 11:41, Marius van den Beek wrote:
> Hi Jochen,
> I recently did this. Instructions are here:
> This has worked for me:
> (~/galaxy-dist is my production galaxy dir)
> cd ~
> git clone
> cd galaxy
> git reset --hard 3f1cec451f6dadee52a70a14fc6f6899f7aacdae
> cd ~/galaxy-dist
> hg update 17115
> mv .hg .hg_backup
> cp -R ~/galaxy/.git .
> git pull (at this point I got a merge error!)
> so I did:
> git diff > local_changes.diff
> cat local_changes.diff |patch -p1 -R
> git pull
> git checkout release_15.05
> Best,
> Marius
> On 21 July 2015 at 11:36, Jochen Bick <> wrote:
>> Hi,
>> is it possible to change from bitbucket to git? So I would like
>> future-update my galaxy from git instead from bitbucket.
>> Cheers Jochen
Please keep all replies on the list by using "reply all"
in your mail client.  To manage your subscriptions to this
and other Galaxy lists, please use the interface at:

To search Galaxy mailing lists use the unified search at:

Reply via email to