bug 1007437 - allow for merging gaia github pull requests. r=aki