Re: Missing [GIT PULL] request for

2020-10-12 Thread Sedat Dilek
On Mon, Oct 12, 2020 at 3:42 PM Ingo Molnar wrote: > > > * Sedat Dilek wrote: > > > 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. >

Re: Missing [GIT PULL] request for

2020-10-12 Thread Sedat Dilek
On Mon, Oct 12, 2020 at 3:42 PM Ingo Molnar wrote: > > > * Sedat Dilek wrote: > > > 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. >

Re: Missing [GIT PULL] request for

2020-10-12 Thread Ingo Molnar
* Sedat Dilek wrote: > 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. So I ran the pull request script to send the tree to Linus, but on

Missing [GIT PULL] request for

2020-10-12 Thread Sedat Dilek
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]