Skip to content
This repository has been archived by the owner on Sep 14, 2022. It is now read-only.

Push git repo to the server rather than pull #5

Open
jverkoey opened this issue Aug 2, 2016 · 0 comments
Open

Push git repo to the server rather than pull #5

jverkoey opened this issue Aug 2, 2016 · 0 comments

Comments

@jverkoey
Copy link
Contributor

jverkoey commented Aug 2, 2016

The script currently pulls the code from the github repo. This makes it difficult to iterate on changes.

Ideally the server would have a git repo that we push to as part of the install process instead.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant