git push origin <branchname>
. Возможно потребует пароль от аккаунта прямо в консоли, но Вы сами это увидите.ls -l /path/to/file
можно увидеть права на файл, командой chmod можно поменять эти права с read-only на writable. Про статус бар и значки, которые заменяют эти команды написано здесь