diff options
| author | Xavier Morel <xmo@openerp.com> | 2014-05-15 14:23:08 +0200 |
|---|---|---|
| committer | Xavier Morel <xmo@openerp.com> | 2014-05-15 14:23:08 +0200 |
| commit | 2ea0cfcfb888c9966b3a1a915eff5b42b5ed7f8e (patch) | |
| tree | 2509e9bd404fada5458654b111c489fe2abec658 /doc/git.rst | |
| parent | 8fce83d30d999d88eaeeaf01f2a82e47311a2c51 (diff) | |
[IMP] git.rst formatting for direct on-git viewing
* replaced sphinx :guilabel: directive by a simple strong
* moved rendered notes to non-rendered comments, not that I expect anybody to
care or help /emo
* remove an explicit code-block directive by a simple ::
Diffstat (limited to 'doc/git.rst')
| -rw-r--r-- | doc/git.rst | 33 |
1 files changed, 16 insertions, 17 deletions
diff --git a/doc/git.rst b/doc/git.rst index 2f13bd7d82c..4352f08d600 100644 --- a/doc/git.rst +++ b/doc/git.rst @@ -14,7 +14,7 @@ it will will ask a few questions and create a local copy. .. note:: if the repository is private, you have to download it manually then execute it wherever you want your working copy to be created, go to https://github.com/odoo/odoo/blob/master/checkout.sh then click the - :guilabel:`Raw` button. + **Raw** button. Git concepts ------------ @@ -83,25 +83,26 @@ Basic development workflow - merge the remote branch into the local one with ``git merge --no-ff origin/trunk`` - .. note:: - - * should we promote rebase? That would lead to cleaner histories, but - if the branch is already pushed it requires force-pushing since the - branch can't be fast-forwarded - * git automatically creates a merge commit, should we configure merge - with --no-commit? - * make --no-ff the default in the config script? - * warn about ``git pull``? It is ~ ``git fetch; git merge`` and should - probably be avoided - * to push the branch to the development repository, use ``git push -u dev <branchname>``, this will automatically create a branch called ``<branchname>`` on dev. Next time around you do not have to use ``-u`` * once the feature is done, create a pull request - .. note:: CLI tools? +.. should we promote rebase? That would lead to cleaner histories, but if the + branch is already pushed it requires force-pushing since the branch can't + be fast-forwarded + +.. git automatically creates a merge commit, should we configure merge with + --no-commit? + +.. make --no-ff the default in the config script? -.. note:: format for specifying issues? e.g. closes #42? +.. warn about ``git pull``? It is ~ ``git fetch; git merge`` and should + probably be avoided + +.. CLI tools? + +.. format for specifying issues? e.g. closes #42? Tasks ----- @@ -120,9 +121,7 @@ a few differences: * ``git log``'s second positional argument is a path (file or directory). Because both are optional, if both a revision and a file match the revision will be selected. It is recommended to use ``--`` before a file - path: - - .. code-block:: console + path:: git log -- filepath |
