Merge request 8 (b57bb8bb6a00bee9b9dc8e52e5c738b4c64ae063 -> b3dada4eb2fd1dfa992f14cadf60f1b5cca3a03a)
By: anonymous
Against ref: refs/heads/master
Date: 2020-03-01 17:48
This merge request can be merged without conflicts.
List of commits:
Subject Hash Author Date (UTC)
update b3dada4eb2fd1dfa992f14cadf60f1b5cca3a03a rocketgit-morehan 2020-03-01 17:48:09
Commit b3dada4eb2fd1dfa992f14cadf60f1b5cca3a03a - update
Author: rocketgit-morehan
Author date (UTC): 2020-03-01 17:48
Committer name: rocketgit-morehan
Committer date (UTC): 2020-03-01 17:48
Parent(s): b57bb8bb6a00bee9b9dc8e52e5c738b4c64ae063
Signing key:
Tree: 6a9612f5660360c42c5ae9ab803f7fea74b139d9
File Lines added Lines deleted
latexout.tex 3 1
File latexout.tex changed (mode: 100644) (index 8514d3e..bb92e75)
6 6 \begin{document} \begin{document}
7 7 \section{Binomische Form} \section{Binomische Form}
8 8 \input{latexout2.tex} \input{latexout2.tex}
9 \end{document}
9 \end{document}
10
11 %test
Hints:
How to merge on your machine?
git fetch origin refs/mr/8:mr-8
git checkout main
git merge mr-8

To "see" all the merge requests as branches,
add, in the config file (.git/config), under the remote you want, a line like this:
fetch = +refs/mr/*:refs/remotes/your_remote_name_for_example_origin/mr/*
After you run a git fetch, you will have all the pull requests locally.
For example, you can merge one of them:
git checkout main
git merge mr/8