Add git pushing after every commit.

Improve hardware keyboard and editor focus handling

- Map physical Tab, arrow, and Enter keys to the terminal actions used by the on-screen controls.
- Keep focus in the terminal input after command submission.
- Focus editor content fields when editor dialogs open.

AndroidProjectTooling.sh

@@ -118,6 +118,7 @@ auto_commit_if_needed() {
     git -C "$PROJECT_DIR" commit -m "Misc Changes"
   fi
   : > "$COMMIT_SUMMARY_FILE"
+  git push
 }
 
 download_if_missing() {