. (#54)

IDPA16 · Jan 17, 2017 · bbbec8f · bbbec8f
1 parent 016a582
commit bbbec8f
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 0 deletions.
diff --git a/resources/bibliography.bib b/resources/bibliography.bib
@@ -843,4 +843,11 @@ @Electronic{Lowell2011
   url    = {http://web.mit.edu/jessiehl/Public/aaai11/fullpaper.pdf},
 }
 
+@Electronic{githubreviews,
+  author    = {{GitHub, Inc.}},
+  title     = {About pull request reviews},
+  url       = {https://help.github.com/articles/about-pull-request-reviews/},
+  timestamp = {17.01.2017},
+}
+
 @Comment{jabref-meta: databaseType:biblatex;}
diff --git a/sections/build tools/version control/github.tex b/sections/build tools/version control/github.tex
@@ -2,3 +2,6 @@
 This means for us, that we have a central place where our data is located. This also enables us to simultaneously work on the code, which increases the speed of development.  
 
 GitHub provides all services for free when developing an open-source application. \cite{githubprice}  
+
+We use some of the GitHub features to improve the quality of our documentation. We have set it up, so that any change to the documentation has to happen on a new branch and before it gets copied over to the main one, another member of the team has to approve the changes. \cite{githubreviews}
+
Original file line number	Diff line number	Diff line change
Expand Up		@@ -2,3 +2,6 @@
		This means for us, that we have a central place where our data is located. This also enables us to simultaneously work on the code, which increases the speed of development.

		GitHub provides all services for free when developing an open-source application. \cite{githubprice}

		We use some of the GitHub features to improve the quality of our documentation. We have set it up, so that any change to the documentation has to happen on a new branch and before it gets copied over to the main one, another member of the team has to approve the changes. \cite{githubreviews}