The catch is that the timestamps shown there are when the git commit was done locally, rather than when it got pushed to github.
So, in this case the fix was commit aae3e8 which I made locally (on my development computer) on October 6. So that's the timestamp on the commit. Then I pushed that commit to our internal git server, the change went through code review to be merged to "master" (which happened in commit 12caaed), then through our integration tests and then got pushed out to github.
But the timestamp remains the time I made the original change. It normally doesn't take a week for this kind of bugfix to deploy, we're still ironing out some of the kinks in our automatic integration test & deployment process. But it will usually take at least a few days between "developer creates commit" and "commit pushed to github".
So, from your point of view, I'm not sure what the easiest way to find out "are there new commits?" is apart from running "git pull" in your local directory and seeing what happens. If you "Watch" the esp-idf repository on github then you might see "@igrr pushed X commits to esp-idf"[*] in your personal activity feed at
https://github.com/ (although I just looked and I don't see this, so maybe not...)
Possibly someone else with more deep github knowledge will know another way to watch for "pushes" of this kind.
[*] The deployment process runs with a special deployment key that github associates with Ivan's account, so the "deploy" pushes show as being done by his username.
EDIT: clarified deployment process.