2 PRs in GitHub: 778, 779 #51
Labels
No labels
bugfix
cleanup
discussion
documentation
doing
done
feature
improvement
packaging
Stale
testing
TODO
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
ungleich-public/cdist#51
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
@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.
closed
assigned to @poljakowski
But then, that's git!
@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-ffas suggested at github command line merging link.@ander Should I do something @ github? Merge those PRs?
Or just merge them into gitlab master with merge commit?