the branch is https://github.com/julienw/gaia/tree/remove-skipRevoke if you want to fetch it, this is a commit on top of your commit