coria / deploy-coria (#93) (public) (License: Unspecified) (since 2017-03-17)
Deploy CORIA backend, frontend and related services in Docker containers.
List of commits:
Subject Hash Author Date (UTC)
Change coria frontent default port to 80 0c3275fdd78705a653c30b4daef7a4de10579093 Vasilis Ververis 2017-04-11 21:17:04
Fix apt repository URL dc79b5094b347f0b0e1febdac430dee7c1a1b91b Vasilis Ververis 2017-04-06 21:02:05
Init CORIA Docker deployment 10b837fadc5ca0cd66a278093068e1c57519f770 Vasilis Ververis 2017-03-17 11:20:45
Before first commit, do not forget to setup your git environment:
git config --global "your_name_here"
git config --global "your@email_here"

Clone this repository using HTTP(S):
git clone

Clone this repository using ssh (do not forget to upload a key first):
git clone ssh://

Clone this repository using git:
git clone git://

You are allowed to anonymously push to this repository.
This means that your pushed commits will automatically be transformed into a merge request:
... clone the repository ...
... make some changes and some commits ...
git push origin master