Has any new #Git client popped up for Android since MGit? It's been working fine so far but it's unmaintained and I was hoping to simplify my personal use case of doing basic push and pull operations on my #Obsidian vault without the baggage of a feature complete Git client.