Unpushed patches?

[David Kastrup]

Taking a look at issues with Patch-Push status, I currently get

2259    Ugly    Started         1       ----    push    ----            Hairpin 
still hits barline at line break         
2248    Documentation   Started         0       janek.lilypond  push    ----    
        Patch: change bugreports expected response time          
2183    Enhancement     New     0       reinhold.kainhofer      push    ----    
        Patch: hideNotes should also hide rests...       
2171    Enhancement     Started         2       mtsolo  push    ----            
Patch: Implements DOM-id property for grobs.     
2165    Enhancement     Started         2       mtsolo  push    ----            
Patch: Modifies broken hairpin height    
2092    Maintainability         Started         1       Carl.D.Sorensen         
push    ----            lily-git.tcl should using a "working" branch     
1985    Scripts         Started         0       janek.lilypond  push    ----    
        musicxml2ly: group-symbol none leads to bus error        

Not all of them are recent I think.

-- 
David Kastrup