Skip to content
Navigation menu
Search
Search
Log in
Create account
DEV Community
Close
#
merging
Follow
Hide
Posts
Left menu
đź‘‹
Sign in
for the ability to sort posts by
relevant
,
latest
, or
top
.
Right menu
Modeling a merge queue with TLA+
Brian Neville-O'Neill
Brian Neville-O'Neill
Brian Neville-O'Neill
Follow
for
Aviator
Oct 30 '23
Modeling a merge queue with TLA+
#
merging
#
mergequeue
#
tla
Comments
Add Comment
8 min read
What is a merge queue and how do you manage one?
Brian Neville-O'Neill
Brian Neville-O'Neill
Brian Neville-O'Neill
Follow
for
Aviator
Oct 3 '23
What is a merge queue and how do you manage one?
#
aviator
#
merging
Comments
Add Comment
8 min read
Merge strategies to keep builds healthy at scale
Brian Neville-O'Neill
Brian Neville-O'Neill
Brian Neville-O'Neill
Follow
for
Aviator
Jul 26 '23
Merge strategies to keep builds healthy at scale
#
cicd
#
merging
Comments
Add Comment
10 min read
How to get started with Branching & Merging using Github?
Jose Horta Calvario
Jose Horta Calvario
Jose Horta Calvario
Follow
Jan 16 '23
How to get started with Branching & Merging using Github?
#
github
#
git
#
branching
#
merging
11
 reactions
Comments
1
 comment
10 min read
Rebase vs. Merge: Pros and cons
Brian Neville-O'Neill
Brian Neville-O'Neill
Brian Neville-O'Neill
Follow
for
Aviator
Jan 17 '23
Rebase vs. Merge: Pros and cons
#
gitops
#
merging
#
uncategorized
#
git
Comments
Add Comment
6 min read
Combining two independent git repositories
Siddharth Singh Bhadauriya
Siddharth Singh Bhadauriya
Siddharth Singh Bhadauriya
Follow
Feb 10 '22
Combining two independent git repositories
#
git
#
github
#
javascript
#
merging
14
 reactions
Comments
Add Comment
3 min read
New feature has been added and working via remotes
Hung Nguyen
Hung Nguyen
Hung Nguyen
Follow
Oct 9 '21
New feature has been added and working via remotes
#
opensource
#
git
#
remote
#
merging
2
 reactions
Comments
Add Comment
2 min read
Merging Branches with git #Part 2.
Manish
Manish
Manish
Follow
Mar 29 '20
Merging Branches with git #Part 2.
#
git
#
beginners
#
merging
7
 reactions
Comments
Add Comment
3 min read
loading...
We're a place where coders share, stay up-to-date and grow their careers.
Log in
Create account