Basado en sugerencias, se agregaron más funciones para 'probar'. Ahora puede obtener directamente repositorios de github, eliminar los antiguos y corregir el parpadeo que me estaba molestando con un buen doble búfer a la antigua.