Re: [Tails-dev] Git repositories at immerda: downtime

Delete this message

Reply to this message
Autore: kytv
Data:  
To: tails-dev
Oggetto: Re: [Tails-dev] Git repositories at immerda: downtime
On Thu, 9 Jul 2015 15:16:39 +0000 (UTC)
intrigeri <intrigeri@???> wrote:

> It's back up.


FWIW I'm not seeing updates when pulling from the git repo over
https. For example, this shows my branch for #9709 was merged into stable:
<https://labs.riseup.net/code/projects/tails/repository/revisions/7880ec2abc3cf2af0934a862d1c9a7f4c4da7f93>

But

$ git remote show origin |grep URL
Fetch URL: https://git-tails.immerda.ch/tails
Push URL: https://git-tails.immerda.ch/tails
$ git pull origin
Already up-to-date.
$ GIT_PAGER=cat git log --name-status origin/stable -1
commit 5776b0d6cdc9fdde80be7627fa7cad42a7c85a3e
Merge: 2878fdf 7591ae4
Author: intrigeri <intrigeri@???>
Date: Fri Jul 3 10:38:14 2015 +0000

    Merge remote-tracking branch 'origin/master'



It may be that I just have a misunderstanding of how the Redmine
repository works.