search

jacamo-lang / jacamo-web

web interface for JaCaMo
7 stars 6 forks source link

Provide integration with version control system #17

Closed cleberjamaral closed 4 years ago

cleberjamaral commented 4 years ago

In order to facilitate collaboration, provide integration with git maybe using JGit: https://git-scm.com/book/uz/v2/Appendix-B%3A-Embedding-Git-in-your-Applications-JGit

cleberjamaral commented 4 years ago

We added the commit method. In a very simple way it is doing the same as the command line: $ commit -am "custom message given by client", i.e., it is committing all modifications and deletions, but not the added files.

cleberjamaral commented 4 years ago

Added push method using a simple way to retrieve user credentials. A file called push.temp must have git username on the first line and git password in the second line.

Example of push.temp file: bob@email.com a_secret

A further issue may be open to improve this function, especially related to HTTPS support for secure transfer of credentials.