...from dev-tools' flatpak/build.sh, as the Flathub build plans to use that git
source, too

Change-Id: I5a23ad0eddd8b7d89e941217c66f5354936c10fc