47fb17c Add options to merge PRs: via api or selenium

Authored and Committed by ishcherb 4 years ago
    Add options to merge PRs: via api or selenium
    
        
file modified
+8 -0
file modified
+59 -1