On Wed, May 08, 2024 at 01:41:06AM +0100, Al Viro wrote: > So it looks like you forgot to push vfs.misc as well... BTW, IME it's useful to have all merges either go from tips of named branches or from tags - easier to catch that kind of SNAFU when one forgets to push the topical out. You can easily see it in e.g. gitk.
