I have 1 a git/github question.
I forked from a master branch, name it fb, made updates to some files locally, git pushed fb onto github, and submitted a pull request on github (for a code review). Another colleague also submitted another PR, for code review, got approvals, and just merged (rebased, with commits squash) his branch into the stable (his now becomes the new stable (I mispoke, saying master before).
Like with my colleague, my submitted PR also had several commits that I did on github (not on local via git). Because I forked, I only have 1 branch on local, which was what got pushed and submitted for a pull request. What's the best way to merge my forked fb branch into my colleague's stable branch?
Should I follow this process: a pull from my remote github fb repo to get all of my commits into local fb, create another local branch called stable, do a pull from the new github master/stable onto the local stable branch, rebase my fb to the local stable, resolve conflicts, then do a push origin --force to the remote master/stable?