github desktop linux shiftkey