Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Push to remote origin #22

Open
simon-brooke opened this issue Aug 8, 2017 · 2 comments
Open

Push to remote origin #22

simon-brooke opened this issue Aug 8, 2017 · 2 comments
Assignees
@simon-brooke
Milestone
1.1.0.0

Comments

@simon-brooke
Copy link
Collaborator

Add to the configuration keys for the git URL of an origin/backup repository, and possibly related credentials; if these are populated (i.e. non-nil), add to the cron setup in session-manager a periodic push to origin.
@jaromil
Copy link
Contributor

jaromil commented Aug 26, 2017

It may be interesting to add push functionality via jgit as it gets implemented, see clj-jgit/clj-jgit#46 actually it seems there is a fork already implementing it (but I haven't tested it yet)

@simon-brooke
Copy link
Collaborator Author

Thanks, that's definitely worth investigating.

@simon-brooke simon-brooke added this to the 1.1.0.0 milestone Sep 9, 2017
@simon-brooke simon-brooke self-assigned this Aug 18, 2020
simon-brooke added a commit that referenced this issue Sep 2, 2020
@simon-brooke
#22: H'mmm, clj-git API has changed considerably.
f9587f1 
This isn't working, but does compile. More work needed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@simon-brooke simon-brooke

Labels
None yet
Projects
None yet
Milestone
1.1.0.0
Development

No branches or pull requests
2 participants
@jaromil @simon-brooke