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.