Repository navigation

add a how-to to explain usage with Github - #281

Merged

MichaelMure merged 5 commits into

Mar 1, 2020

Merged

add a how-to to explain usage with Github#281
MichaelMure merged 5 commits into
masterfrom
howto-github

Commits on Mar 1, 2020
- add a how-to to explain usage with Github
  MichaelMure
  committed
  19f3c21
- doc: fix typos
  MichaelMure
  committed
  710d856
- doc: refresh the github howto
  MichaelMure
  committed
  8365c63
- add workflow diagrams
  MichaelMure
  committed
  e53d7c6
- howto: link to other ressources
  MichaelMure
  committed
  f82ad38