Skip to content

Git sync: Push current branch to remote if it is empty - #1021

Closed
amberin wants to merge 1 commit into
orgzly:masterfrom
amberin:push-repo-to-remote-if-empty-pr
Closed

Git sync: Push current branch to remote if it is empty#1021
amberin wants to merge 1 commit into
orgzly:masterfrom
amberin:push-repo-to-remote-if-empty-pr

Conversation

@amberin

@amberin amberin commented Dec 30, 2022

Copy link
Copy Markdown
Contributor

This allows the user to easily set up a new "origin" remote (by initalizing an empty repository) if the current one is somehow lost.

A Git repo which is synced between two locations should have a degree of redundancy. Without this code, there is no convenient way to sync the repo contents using Orgzly as the source.

This allows the user to easily set up a new "origin" remote (by
initalizing an empty repository) if the current one is somehow lost.

A Git repo which is synced between two locations should have a degree of
redundancy. Without this code, there is no convenient way to sync the
repo contents using Orgzly as the source.
@amberin

amberin commented Mar 19, 2023

Copy link
Copy Markdown
Contributor Author

Closing this in favor of #1037.

@amberin amberin closed this Mar 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant