Skip to content
← Back to Community
Github merge
Profile icon
Highwayman

How do I merge a repository if I don’t have an account on github and I just hit make repository

Answered by Vandesm14 [earned 5 cycles]
View Answer
Voters
Profile icon
PythonMasterSid
Profile icon
Loshad
Profile icon
Highwayman
Comments
hotnewtop
Profile icon
Vandesm14

You can hit the source control button, and hit new repository button to create a local repository in your repl.

Profile icon
Highwayman

@Vandesm14
I did that, but now I have a branch that I want to merge, but I have no idea how I’m supposed to do it. Here, I’ll send a pic.

Profile icon
Highwayman

@Vandesm14

AD8AE329-A733-4404-9A35-BBA1B677FD3B

Profile icon
Vandesm14

@Highwayman
If you understand git commands, just hit Ctrl+Shift+S to open a shell and run the commands. If not, you can view how to merge a branch via shell here

Profile icon
Highwayman

@Vandesm14
thanks! Is there a way to open the shell on the IPad? It’s the only thing I ever get to use.

Profile icon
Vandesm14

@Highwayman
Try right-clicking and selecting command palette. Then, type in shell and hit enter.

Profile icon
Highwayman

@Vandesm14

Success! Thank you so much, that’s going to be super helpful.

A49D2B62-FF60-4DC9-B18C-99D5063E33B3

Profile icon
Vandesm14

@Highwayman
You're very welcome!