Skip to content
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

You are viewing a single comment. View All
Answered by Vandesm14 [earned 5 cycles]
View Answer
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
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
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
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!