2 PRs in GitHub: 778, 779 #51

Closed
opened 2021-11-20 11:25:12 +00:00 by ungleich-gitea · 5 comments

@poljakowski please merge:

fix os explorer for sles15
https://github.com/ungleich/cdist/pull/778

Trivial grammatical fixes to documentation
https://github.com/ungleich/cdist/pull/779

also, I'm trying to come up with better workflow/solution for GitHub contributions.

@poljakowski please merge: fix os explorer for sles15 https://github.com/ungleich/cdist/pull/778 Trivial grammatical fixes to documentation https://github.com/ungleich/cdist/pull/779 also, I'm trying to come up with better workflow/solution for GitHub contributions.
Author
Owner

closed

closed
Author
Owner

assigned to @poljakowski

assigned to @poljakowski
Author
Owner

But then, that's git!

But then, that's git!
Author
Owner

@ander Hah, it works: https://github.com/ungleich/cdist/pull/779 is marked as merged.
I manually merged gitlab master with original branch from PR, using git merge --no-ff as suggested at github command line merging link.

@ander Hah, it works: https://github.com/ungleich/cdist/pull/779 is marked as merged. I manually merged gitlab master with original branch from PR, using `git merge --no-ff` as suggested at github command line merging link.
Author
Owner

@ander Should I do something @ github? Merge those PRs?
Or just merge them into gitlab master with merge commit?

@ander Should I do something @ github? Merge those PRs? Or just merge them into gitlab master with merge commit?
Sign in to join this conversation.
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
ungleich-public/cdist#51
No description provided.