diff --git a/documentation/overview-manual/development-environment.rst b/documentation/overview-manual/development-environment.rst index ab155dc3b0..d719ba69eb 100644 --- a/documentation/overview-manual/development-environment.rst +++ b/documentation/overview-manual/development-environment.rst @@ -286,8 +286,8 @@ develop, test, and submit changes to "contrib" areas for the maintainer to examine. The maintainer then chooses which changes are going to become a permanent part of the project. -.. image:: figures/git-workflow.png - :align: center +.. image:: svg/git-workflow.* + :width: 100% While each development environment is unique, there are some best practices or methods that help development run smoothly. The following diff --git a/documentation/overview-manual/figures/git-workflow.png b/documentation/overview-manual/figures/git-workflow.png deleted file mode 100644 index e401330a12..0000000000 Binary files a/documentation/overview-manual/figures/git-workflow.png and /dev/null differ diff --git a/documentation/overview-manual/svg/git-workflow.svg b/documentation/overview-manual/svg/git-workflow.svg new file mode 100644 index 0000000000..7747e35d9c --- /dev/null +++ b/documentation/overview-manual/svg/git-workflow.svg @@ -0,0 +1,1205 @@ + + + + + + image/svg+xml + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + source repositories + + + + + + + project"master"git repository + + + + + + + + + + + + + + + + + + + + + project"contrib"git repository + + + + localdevelopmentgit repository + + + + project"contrib"git repository + + + + projectdevelopmentgit repository + + + + git pull and push + + git pull and push + + + + git pull from themaintainer + + + git pull + + + git pull + + +