On Mon, Sep 09, 2024 at 06:32:36PM +0300, Constantine Shulyupin wrote: > What does "TIP" stand for in the repository > https://git.kernel.org/pub/scm/linux/kernel/git/tip/? "Thomas" "Ingo" "Peter", the original maintainers of that tree (i.e. the x86 maintainers tree, which has now grown to other people and other parts of the kernel.) thanks, greg k-h