Merge request 7 (c67d565b4561ebe63ff07e9946ae365908b3d445 -> 4ece7ba3d5c5d99361ef5eac92bb0848f2ea5318)
By: anonymous
Against ref: refs/heads/master
Date: 2020-04-19 18:29
Already merged at 2020-04-20 00:00 UTC.
List of commits:
Subject Hash Author Date (UTC)
testing 4ece7ba3d5c5d99361ef5eac92bb0848f2ea5318 pveeral@augusta.edu 2020-04-19 18:27:50
Commit 4ece7ba3d5c5d99361ef5eac92bb0848f2ea5318 - testing
Author: pveeral@augusta.edu
Author date (UTC): 2020-04-19 18:27
Committer name: pveeral@augusta.edu
Committer date (UTC): 2020-04-19 18:27
Parent(s): c67d565b4561ebe63ff07e9946ae365908b3d445
Signing key:
Tree: b825411fa95cbe346720ac9fc575a029126cb07d
File Lines added Lines deleted
CONTRIB.md 2 0
File CONTRIB.md changed (mode: 100644) (index 5cbd02b..43625ef)
1 //TESTING
2
1 3 --- ---
2 4 title: Contributing to the Database Systems Lecture Notes title: Contributing to the Database Systems Lecture Notes
3 5 --- ---
Hints:
How to merge on your machine?
git fetch origin refs/mr/7:mr-7
git checkout main
git merge mr-7

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/7