[HN Gopher] Pull request merge queue (public beta)
       ___________________________________________________________________
        
       Pull request merge queue (public beta)
        
       Author : LazyMans
       Score  : 4 points
       Date   : 2023-02-08 18:21 UTC (4 hours ago)
        
 (HTM) web link (github.blog)
 (TXT) w3m dump (github.blog)
        
       | gus_massa wrote:
       | Does it rebase the PR to keep a linear history?
        
       ___________________________________________________________________
       (page generated 2023-02-08 23:03 UTC)