They are redistributing the GPL content in their mobile app. So, it may be the case that there's nothing amiss with the code in their repository, but anyone who

They are redistributing the GPL content in their mobile app. So, it may be the case that there's nothing amiss with the code in their repository, but anyone who tries to use their code will run afoul of the GPL.