I have not yet, due to it being more difficult to set up github keys on the phone. I'll try and do that this weekend. That said, native Git support would be awesome! One other suggestion: Would it be possible that, after building the RPMs, they are copied over to Documents? As it stands, they are in a location that can't be seen by the browser's file picker if I try to upload to openrepos, so they need to be copied to Documents manually first.