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.
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
Signer:
Signing key:
Signing status: N
Tree: 6a9612f5660360c42c5ae9ab803f7fea74b139d9
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