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