It's the first time I'm using github. Did you receive the new pull request?