Oh, and you'll obviously have to push -f the first time you push back to your 
GitHub fork.
_______________________________________________
dev-static-analysis mailing list
[email protected]
https://lists.mozilla.org/listinfo/dev-static-analysis

Reply via email to