summaryrefslogtreecommitdiff
path: root/developers-manual.rst
diff options
context:
space:
mode:
authorMarcello Stanisci <stanisci.m@gmail.com>2019-11-21 16:05:24 +0100
committerMarcello Stanisci <stanisci.m@gmail.com>2019-11-21 16:05:24 +0100
commit9f8ea80b3f18ba93ad44a58569b8ecea54f13a47 (patch)
tree9834a2f624b4002161cd560df22ebd79c41bcbc4 /developers-manual.rst
parentbc99c2369ce34450535f642b217bca5cd4dd779d (diff)
downloaddocs-9f8ea80b3f18ba93ad44a58569b8ecea54f13a47.tar.gz
docs-9f8ea80b3f18ba93ad44a58569b8ecea54f13a47.tar.bz2
docs-9f8ea80b3f18ba93ad44a58569b8ecea54f13a47.zip
proof read
Diffstat (limited to 'developers-manual.rst')
-rw-r--r--developers-manual.rst18
1 files changed, 15 insertions, 3 deletions
diff --git a/developers-manual.rst b/developers-manual.rst
index f008b807..8c3a7b4a 100644
--- a/developers-manual.rst
+++ b/developers-manual.rst
@@ -29,7 +29,7 @@ login.
Code Repositories
-----------------
-Taler code is versioned via Git. For those users without write access, all the
+Taler code is versioned with Git. For those users without write access, all the
codebases are found at the following URL:
::
@@ -45,12 +45,12 @@ Committing code
To obtain Git access, you need to send us your SSH public key. You can
find instructions on how to do so in the `Git book <https://git-scm.com/book/en/v2/Git-on-the-Server-Generating-Your-SSH-Public-Key>`_.
-If you have been granted write access, you fist of all must change the URL of
+If you have been granted write access, you first of all must change the URL of
the respective repository to:
::
- git://git@git.taler.net/<repository>
+ ssh://git@git.taler.net/<repository>
For an existing checkout, this can be done by editing the ``.git/config`` file.
@@ -85,6 +85,18 @@ to receive friendly reminders if your change did not live up to this simple
standard. We plan to move to a system where the CI guarantees this invariant
in the future.
+In order to keep a linear and clean commits history, we advise to avoid
+merge commits and instead always rebase your changes before pushing to
+the master branch. If you commit and later find out that new commits were
+pushed, the following command will pull the new commits and rebase yours
+on top of them.
+
+::
+
+ # -S instructs Git to (re)sign your commits
+ $ git pull --rebase -S
+
+
Taler Deployment on gv.taler.net
================================