Hi, yesterday, I saw Ingo tagged "locking-urgent-2020-10-11" in tip Git.
Did you drop it or was this for Linux v5.9 final and the git-pull request was simply forgotten? Just curious. Regards, - Sedat - [1] https://git.kernel.org/pub/scm/linux/kernel/git/tip/tip.git/tag/?h=locking-urgent-2020-10-11