Ask coding questions

← Back to all posts
Github merge
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
Loshad
Highwayman
Comments
hotnewtop
Vandesm14

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

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.

Highwayman
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

Highwayman

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

Vandesm14

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

Highwayman

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

Vandesm14

@Highwayman You're very welcome!