Goodev
Results
2
comments of
Goodev
Hope this can help ? **2. Press and Hold Shift key** 
@rillig-nm In Push Changes dialog you also can do this. 1. Hold Shift key to select all git repos 2. Use Space key to check or uncheck all git repos...