On Thu, 9 Jul 2015 15:16:39 +0000 (UTC) intrigeri <[email protected]> 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 <[email protected]> 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.
pgpbUEUU0Zjwt.pgp
Description: OpenPGP digital signature
_______________________________________________ Tails-dev mailing list [email protected] https://mailman.boum.org/listinfo/tails-dev To unsubscribe from this list, send an empty email to [email protected].
