Я знаю, что в Zeppelin вы можете использовать Git на своих ноутбуках. Я также знаю, как взять эти локальные репозитории git и отправить их на Github. Но из того, что я видел в приложении Zeppelin, пользователи могут фиксировать все, что они хотят, но эти коммиты остаются локальными, пока вы не войдете и не подтолкнете локальный до GitHub. Мой вопрос заключается в том, что когда пользователь совершает коммит внутри приложения Zeppelin, можно ли автоматически сделать пуш для GitHub?