Merge request 1 (69514078177c368ef34ebcb0ea20f3cc853dd78e -> 3ff7eb094b8c3743c96f1e1c181d6553f9e732ca)
By: anonymous
Against ref: refs/heads/master
Date: 2017-05-25 11:43
This merge request can be merged without conflicts.
Commit 3ff7eb094b8c3743c96f1e1c181d6553f9e732ca
- README added
Author: B.Sc. Moczalla, Rafael
Author date (UTC): 2017-05-25 11:43
Committer name: B.Sc. Moczalla, Rafael
Committer date (UTC): 2017-05-25 11:43
Parent(s): 69514078177c368ef34ebcb0ea20f3cc853dd78e
Signing key:
Tree: d449f10671aa712d8398fc66e6a6b73adad62461
File |
Lines added |
Lines deleted |
README |
0 |
0 |
File README added (mode: 100644) (index 0000000..e69de29) |
Hints:
How to merge on your machine?
git fetch origin refs/mr/1:mr-1
git checkout main
git merge mr-1
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/1