Am 08/11/16 um 08:11 schrieb Francesco Lodolo [:flod]:
> It looks like the RELEASE_1_2 wasn't tagged in Mercurial (but it's
> tagged in GitHub). Is that on purpose?
No, just forgot to push. Just did.
> Side question: is there any preference in using one or the other (hg vs
> GitHub) as source?
The hg one is the canonical repo. I.e., the repo I work in is a
mercurial one, and I use mozreview now for review requests.
I do take care to push to github, though, and expose releases there
constructively.
Axel