Is anything weird going on w/ platform/hardware/linaro/tinyhal?

Hi, I've ported git://android.git.linaro.org/platform/hardware/linaro/tinyhal.git to JellyBean - but somehow, the commit appears to get "forgotten" about. At first I thought I forgot to commit, but the port patch keeps disappearing.

Since nobody has screamed at me, I don't think my patch broke anything causing it to be reverted.

By any chance, is tinyhal being mirrored from git.linaro.org, killing off any changes made on android.git.linaro.org?

ttyl bero