Git - XWiki

1

This tutorial will address the source code management (SCM) tool named [[Git>>url:http://git-scm.com/||shape="rect"]]. By following these steps you should learn about the basic usage of Git, which is required for the whole practical course. Furthermore, Git is a great SCM tool, and it's good to know how to use it. During this tutorial, we will follow Alan Turing's thoughts towards developing the [[Turing Machine>>url:http://en.wikipedia.org/wiki/Turing_machine||shape="rect"]].

2

3

More in-depth Git documentation can be found on the [[official home page>>url:http://git-scm.com/documentation||shape="rect"]], which mentions books, videos, and links to other tutorials and references. Furthermore, the shell command {{code language="none"}}git help{{/code}} lists the most commonly used Git commands, and {{code language="none"}}git help <command>{{/code}} gives very detailed documentation for the specified Git command.

==== Contents ====

= Creating Commits =

Most steps of this tutorial are done by typing shell commands. The grey boxes contain the commands you should enter, preceded by a {{code language="none"}}${{/code}} symbol, and followed by their output. While you may copy & paste these commands, some of them may require modifications to adapt them to your own projects. The output will be slightly different for many commands when you enter them, since it also depends on parameters such as the user name and time of execution.

14

15

1. Read the [[Git for Computer Scientists>>url:http://eagain.net/articles/git-for-computer-scientists/||shape="rect"]] introduction (skip this if you are already familiar with Git).

16

1. For Linux, Git is available in its own package. Windows users can install [[msysGit>>url:http://msysgit.github.com/||shape="rect"]]. For Mac OSX, Git is available as part of [[Xcode>>url:https://developer.apple.com/xcode/||shape="rect"]]; if you cannot install that, use [[Git for OSX>>url:http://code.google.com/p/git-osx-installer/||shape="rect"]].

17

1. (((

18

Configure your name and email address (will be included in all commits you create):

19

20

21

$ git config --global --add user.name "Your Name"

22

$ git config --global --add user.email "<login>@informatik.uni-kiel.de"

)))

1. (((

Create a local repository for the "//Turing Project//":

$ mkdir turing

$ cd turing

$ git init

Initialized empty Git repository in ~/turing/.git/

33

34

35

The {{code language="none"}}.git{{/code}} subdirectory contains all history and metadata of the repository. You should not modify it. The {{code language="none"}}turing{{/code}} directory contains the //working copy//, that is the currently checked-out snapshot. You work by modifying your working copy and committing the modifications to the repository (contained in {{code language="none"}}.git{{/code}}).

36

)))

37

1. (((

38

Add and commit some content: copy [[attach:notes.txt]]{{code language="none"}}{{/code}} to your {{code language="none"}}turing{{/code}} directory.

$ git add notes.txt

$ git commit -m "wrote some first notes"

43

[master (root-commit) 2e73b34] wrote some first notes

44

1 files changed, 5 insertions(+), 0 deletions(-)

45

create mode 100644 notes.txt

46

47

48

The file is now stored in the local history of your repository.

49

)))

50

1. Edit {{code language="none"}}notes.txt{{/code}}:\\

51

11. Replace "fixed" with "infinite" in line 1.

52

11. Replace "... (TODO)" with "a finite state machine" in line 4.

53

1. (((

54

View the status of your current working copy:

$ git status

# On branch master

# Changed but not updated:

60

# (use "git add <file>..." to update what will be committed)

61

# (use "git checkout -- <file>..." to discard changes in working directory)

62

#

63

# modified: notes.txt

64

#

65

no changes added to commit (use "git add" and/or "git commit -a")

)))

1. (((

Mark the modified file to include it in the next commit, then view the status again and compare with the previous output:

$ git add notes.txt

$ git status

# On branch master

# Changes to be committed:

76

# (use "git reset HEAD <file>..." to unstage)

77

#

78

# modified: notes.txt

#

)))

1. (((

Commit the modified content to your local repository and view the status:

84

85

86

$ git commit -m "modified tape length, found a controller for tape head"

87

[master 52e2d49] modified tape length, found a controller for tape head

88

1 files changed, 2 insertions(+), 2 deletions(-)

89

$ git status

90

# On branch master

91

nothing to commit (working directory clean)

)))

After the preceding steps you have two commits in your local repository, each with one file in the index. You have different commands for viewing these commits:

$ git log

commit 52e2d4946791c2725015853e5e261ce143c6fe8a

100

Author: Miro Spoenemann <msp@informatik.uni-kiel.de>

101

Date: Mon Oct 15 15:00:14 2012 +0200

102

103

modified tape length, found a controller for tape head

104

105

commit 2e73b34ac44480773fc0e52875b7353a087d8c6d

106

Author: Miro Spoenemann <msp@informatik.uni-kiel.de>

107

Date: Mon Oct 15 12:14:06 2012 +0200

108

109

wrote some first notes

110

111

$ git show 52e2d49

112

commit 52e2d4946791c2725015853e5e261ce143c6fe8a

113

Author: Miro Spoenemann <msp@informatik.uni-kiel.de>

114

Date: Mon Oct 15 15:00:14 2012 +0200

115

116

modified tape length, found a controller for tape head

117

118

diff --git a/notes.txt b/notes.txt

119

index 4ded2b3..bd422b3 100644

--- a/notes.txt

+++ b/notes.txt

@@ -1,5 +1,5 @@

- * A tape with fixed length

124

+ * A tape with infinite length

125

* Tape head can read or write data

126

* Tape head can move left or right

127

- * The head is controlled by ... (TODO)

128

+ * The head is controlled by a finite state machine

129

130

131

Note that each commit is identified by a looong hash value, but it is possible to use only a prefix when referencing them (if the prefix is not ambiguous): the example above uses {{code language="none"}}52e2d49{{/code}} to identify the second commit. The commit hashes in your repository will be different from those seen in this tutorial, because the name of the author and the exact time of committing is also considered in the hash calculation. Also try the command {{code language="none"}}gitk{{/code}} to get an overview of your commits (a better alternative available for Mac OSX is [[GitX>>url:http://gitx.frim.nl/||shape="rect"]]).

132

133

= Branching and Merging =

134

135

In the previous section you have created two commits on the default branch, which is named {{code language="none"}}master{{/code}}. Now you will create a new branch and commit there, thus adding complexity to the commit graph.

136

137

1. (((

138

Create a branch with name //sketches//:

139

140

141

$ git branch sketches

)))

1. (((

View the list of branches:

$ git branch

* master

sketches

The star reveals that you are still on the old {{code language="none"}}master{{/code}} branch.

154

)))

155

1. (((

156

Switch to the new branch:

157

158

159

$ git checkout sketches

160

Switched to branch 'sketches'

$ git branch

master

* sketches

It is also possible to create a branch and switch immediately to it using the option {{code language="none"}}-b{{/code}} of {{code language="none"}}git checkout{{/code}}.

167

)))

168

1. (((

169

Download and add the new file [[attach:examples.txt]]{{code language="none"}}{{/code}}:

170

171

172

$ git add examples.txt

173

$ git commit -m "wrote first examples"

174

[sketches cd63135] wrote first examples

175

1 files changed, 20 insertions(+), 0 deletions(-)

176

create mode 100644 examples.txt

177

178

179

Inspecting the commit graph with {{code language="none"}}gitk{{/code}} (or another graphical viewer) you see that the {{code language="none"}}sketches{{/code}} branch now has three commits, while {{code language="none"}}master{{/code}} is still at the second commit.

180

)))

181

1. (((

182

Merging the {{code language="none"}}sketches{{/code}} branch into {{code language="none"}}master{{/code}} means that all changes that have been made in {{code language="none"}}sketches{{/code}} are also applied to {{code language="none"}}master{{/code}}. In order to perform this merge, we have to check out the {{code language="none"}}master{{/code}} branch first:

183

184

185

$ git checkout master

186

Switched to branch 'master'

187

$ git merge sketches

188

Updating 52e2d49..cd63135

189

Fast-forward

190

examples.txt | 20 ++++++++++++++++++++

191

1 files changed, 20 insertions(+), 0 deletions(-)

192

create mode 100644 examples.txt

193

194

195

This was a //fast-forward// merge: since the {{code language="none"}}master{{/code}} branch was completely contained in the {{code language="none"}}sketches{{/code}} branch, the merge could be done by simply changing the head pointer of {{code language="none"}}master{{/code}} to be the same as the head of {{code language="none"}}sketches{{/code}}.

196

)))

197

1. (((

198

Now add the line "{{code language="none"}}see some examples in 'examples.txt'{{/code}}" to the file {{code language="none"}}notes.txt{{/code}} and commit this change in the current branch:

$ git add notes.txt

$ git commit -m "added reference to the new examples"

203

[master a5e244f] added reference to the new examples

204

1 files changed, 2 insertions(+), 1 deletions(-)

)))

1. (((

Switch back to the {{code language="none"}}sketches{{/code}} branch and modify it as shown below. Note that the {{code language="none"}}checkout{{/code}} command modifies your working copy, hence you have to update your text editor's content if you opened one of the files.

209

210

211

$ git checkout sketches

212

Switched to branch 'sketches'

213

214

215

Add the line "{{code language="none"}}Move one step left:{{/code}}" and write an updated version of the tape with tape head in the file {{code language="none"}}examples.txt{{/code}}, then commit.

216

217

218

$ git add examples.txt

219

$ git commit -m "added another example"

220

[sketches 55a9cb1] added another example

221

1 files changed, 5 insertions(+), 0 deletions(-)

222

223

224

Now your two branches have //diverged//, which means that they cannot be fast-forwarded anymore.

225

)))

226

1. (((

227

Merge the {{code language="none"}}master{{/code}} branch into {{code language="none"}}sketches{{/code}}:

$ git merge master

Merge made by recursive.

232

notes.txt | 3 ++-

233

1 files changed, 2 insertions(+), 1 deletions(-)

234

235

236

Using {{code language="none"}}gitk{{/code}} you can see that a new commit was created that has two parent commits. Such a commit is called //merge// commit and is done automatically when a non-fast-forward merge is applied.

237

)))

238

1. (((

239

Add a commit in each of the two branches using the commands you have already learned.

240

1. Check out {{code language="none"}}master{{/code}}.

241

1. (((

242

Insert the following line after line 4 of {{code language="none"}}notes.txt{{/code}}:

243

244

245

* The finite state machine has an initial state and one or more final states

246

247

)))

248

1. Commit the change of {{code language="none"}}notes.txt{{/code}}.

249

1. Check out {{code language="none"}}sketches{{/code}} (make sure to refresh your text editor so that {{code language="none"}}notes.txt{{/code}} is reset to its previous state, without the change made above).

250

1. (((

251

Insert the following line after line 4 of {{code language="none"}}notes.txt{{/code}}:

252

253

254

* Each state transition can trigger head movement and data read/write

255

256

)))

257

1. Commit the change of {{code language="none"}}notes.txt{{/code}}.

258

)))

259

1. (((

260

Merge the {{code language="none"}}master{{/code}} branch into the current branch ({{code language="none"}}sketches{{/code}}):

$ git merge master

Auto-merging notes.txt

265

CONFLICT (content): Merge conflict in notes.txt

266

Automatic merge failed; fix conflicts and then commit the result.

267

268

269

As expected, the branches could not be merged automatically, since both branches modified the same line in the same file.

270

)))

271

1. (((

272

Use the {{code language="none"}}status{{/code}} command to see the list of affected files:

$ git status

# On branch sketches

# Unmerged paths:

# (use "git add/rm <file>..." as appropriate to mark resolution)

279

#

280

# both modified: notes.txt

281

#

282

no changes added to commit (use "git add" and/or "git commit -a")

)))

1. (((

The modified {{code language="none"}}notes.txt{{/code}} should now contain the following text:

<<<<<<< HEAD

* Each state transition can trigger head movement and data read/write

291

=======

292

* The finite state machine has an initial state and one or more final states

>>>>>>> master

The upper line is the one committed to {{code language="none"}}sketches{{/code}}, while the lower line was committed to {{code language="none"}}master{{/code}}. You have to resolve the conflict by editing the file. In this case the conflict is resolved by keeping both lines in arbitrary order, that means you should just remove the conflict markers (lines 5, 7, and 9 in {{code language="none"}}notes.txt{{/code}}).

297

)))

298

1. (((

299

Use the {{code language="none"}}add{{/code}} command to mark {{code language="none"}}notes.txt{{/code}} as resolved. Entering {{code language="none"}}git commit{{/code}} without a message will open a text editor with an automatically created commit message. Just close the editor, and the merge commit is completed:

$ git commit

[sketches 21d5ddb] Merge branch 'master' into sketches

304

$ git show 21d5ddb

305

commit 21d5ddbbcba4e36464653a2a550dbf595ead921f

306

Merge: 17f75c7 8af2d50

307

Author: Miro Spoenemann <msp@informatik.uni-kiel.de>

308

Date: Tue Oct 16 10:44:09 2012 +0200

309

310

Merge branch 'master' into sketches

Conflicts:

notes.txt

diff --cc notes.txt

index 8f72873,bb81298..ba94a08

317

--- a/notes.txt

318

+++ b/notes.txt

319

@@@ -2,6 -2,6 +2,7 @@@

320

* Tape head can read or write data

321

* Tape head can move left or right

322

* The head is controlled by a finite state machine

323

+ * Each state transition can trigger head movement and data read/write

324

+ * The finite state machine has an initial state and one or more final states

325

see some examples in 'examples.txt'

)))

The {{code language="none"}}gitk{{/code}} tool should now display this graph:

330

331

[[image:attach:turing-graph-01.png]]

332

333

= Remote Repositories =

334

335

In the previous sections you have worked only with a local repository. The next step is to share this content with a remote repository. Later we will use [[Stash>>url:https://www.atlassian.com/software/stash/overview||shape="rect"]] for repository management, but we need to create group accounts for you first, thus you will use another system called [[Gitorious>>url:https://git.rtsys.informatik.uni-kiel.de/||shape="rect"]] for now.

336

337

Usually it is sufficient to have only one local copy of a Git repository. However, in this tutorial you will create a second copy in order to "simulate" what can happen if two users access the same remote repository: imagine the directories {{code language="none"}}turing{{/code}} and {{code language="none"}}turing2{{/code}} are each managed by a different user. You will simulate the resulting interference by switching your working directory between these two.

338

339

1. Register to the Gitorious system: [[https:~~/~~/git.rtsys.informatik.uni-kiel.de/>>url:https://git.rtsys.informatik.uni-kiel.de/||shape="rect"]] (use your //Institut für Informatik// login name and email address)

340

1. Go to your //Dashboard// → //Manage SSH keys// → //Add SSH key//

341

1. Copy & paste the content of your public SSH key.\\

342

1*. If you don't have an SSH key: use the shell command {{code language="none"}}ssh-keygen{{/code}}, confirm the default destination file {{code language="none"}}~/.ssh/id_rsa{{/code}}, and choose whether to give a passphrase. If you have a passphrase, you need to enter it whenever you use your SSH key for the first time in a session. You can omit the passphrase, but that makes the key less secure. As result, the tool generates a private key {{code language="none"}}~/.ssh/id_rsa{{/code}}, which has to be kept secret, and a public key {{code language="none"}}~/.ssh/id_rsa.pub{{/code}}.

343

1. Go to //Projects// → //Create a new project// and call it "personal-<login>", replacing <login> with your own login name.

344

1. On the next page, create a repository named "turing" (or select //Add repository// on your project page).

345

1. On the repository page, go to //Manage collaborators// → //Add collaborators// and add the user msp.

346

1. Once you are back on the repository page, copy the URL shown in //Clone & push urls//.

347

1. Email the copied URL to [[msp@informatik.uni-kiel.de>>mailto:msp@informatik.uni-kiel.de||shape="rect"]]. This will serve as proof for your work on this tutorial.

348

1. (((

349

Transfer your {{code language="none"}}master{{/code}} branch to the new server-side repository. Replace the URL in the following command by the one copied from Gitorious:

350

351

352

$ git remote add gitorious git@git.rtsys.informatik.uni-kiel.de:personal-msp/turing.git

353

$ git push gitorious master

354

Counting objects: 15, done.

355

Delta compression using up to 16 threads.

356

Compressing objects: 100% (13/13), done.

357

Writing objects: 100% (15/15), 1.54 KiB, done.

358

Total 15 (delta 3), reused 0 (delta 0)

359

remote: => Syncing Gitorious... [OK]

360

To git@git.rtsys.informatik.uni-kiel.de:personal-msp/turing.git

361

* [new branch] master -> master

362

363

364

The first command adds a //remote// named "gitorious" to your local repository, which is just a bookmark for the long URL. The second command transfers the {{code language="none"}}master{{/code}} branch to the server, which is called //pushing//. After that is done, reload the Gitorious page in your browser, and you see all changes that are transferred to the server-side repository.

365

)))

366

1. (((

367

Create a local clone of your remote repository (replace the URL accordingly):

$ cd ..

$ git clone git@git.rtsys.informatik.uni-kiel.de:personal-msp/turing.git turing2

372

Initialized empty Git repository in /home/msp/tmp/turing2/.git/

373

remote: Counting objects: 15, done.

374

remote: Compressing objects: 100% (13/13), done.

375

remote: Total 15 (delta 3), reused 0 (delta 0)

376

Receiving objects: 100% (15/15), done.

377

Resolving deltas: 100% (3/3), done.

$ cd turing2

The {{code language="none"}}clone{{/code}} command automatically creates a remote named {{code language="none"}}origin{{/code}} in the new local repository, which is set to the given URL.

382

)))

383

1. Edit the file {{code language="none"}}examples.txt{{/code}} in the new clone ({{code language="none"}}turing2{{/code}}): replace {{code language="none"}}"a"{{/code}} in line 6 by {{code language="none"}}"c"{{/code}} and correct the tape representations in lines 9, 14, and 19 accordingly. Commit the change.

384

1. (((

385

Push the new commit to the server:

$ git push

Counting objects: 5, done.

390

Delta compression using up to 16 threads.

391

Compressing objects: 100% (3/3), done.

392

Writing objects: 100% (3/3), 362 bytes, done.

393

Total 3 (delta 1), reused 0 (delta 0)

394

remote: => Syncing Gitorious... [OK]

395

To git@git.rtsys.informatik.uni-kiel.de:personal-msp/turing.git

396

8af2d50..1d1577f master -> master

397

398

399

In this case the push command can be used without arguments, which means that it pushes all branches as configured in {{code language="none"}}.git/config{{/code}}:

$ more .git/config

[core]

repositoryformatversion = 0

405

filemode = true

406

bare = false

407

logallrefupdates = true

408

[remote "origin"]

409

fetch = +refs/heads/*:refs/remotes/origin/*

410

url = git@git.rtsys.informatik.uni-kiel.de:personal-msp/turing.git

411

[branch "master"]

412

remote = origin

413

merge = refs/heads/master

414

415

416

Here the branch {{code language="none"}}master{{/code}} is linked with the remote {{code language="none"}}origin{{/code}}, hence {{code language="none"}}git push{{/code}} does the same as {{code language="none"}}git push origin master{{/code}}.

417

)))

418

1. (((

419

Go back to the original local repository and check out the {{code language="none"}}master{{/code}} branch:

$ cd ../turing

$ git checkout master

424

Switched to branch 'master'

)))

1. (((

Merge the {{code language="none"}}sketches{{/code}} branch into {{code language="none"}}master{{/code}}:

$ git merge sketches

Updating 8af2d50..21d5ddb

433

Fast-forward

434

examples.txt | 5 +++++

435

notes.txt | 1 +

436

2 files changed, 6 insertions(+), 0 deletions(-)

437

438

439

Now your local {{code language="none"}}master{{/code}} branch and the one on the server-side repository have diverged

440

)))

441

1. (((

442

Fetch the server-side changes:

443

444

445

$ git fetch gitorious

446

remote: Counting objects: 5, done.

447

remote: Compressing objects: 100% (3/3), done.

448

remote: Total 3 (delta 1), reused 0 (delta 0)

449

Unpacking objects: 100% (3/3), done.

450

From git.rtsys.informatik.uni-kiel.de:personal-msp/turing

451

8af2d50..1d1577f master -> gitorious/master

452

453

454

Now the change to {{code language="none"}}examples.txt{{/code}} that was previously committed in the {{code language="none"}}turing2{{/code}} repository is stored in a //remote tracking branch// named {{code language="none"}}gitorious/master{{/code}}:

$ git branch -a

* master

sketches

remotes/gitorious/master

461

462

463

You can analyze the remote tracking branch using the {{code language="none"}}log{{/code}} and {{code language="none"}}show{{/code}} commands. However, you should never directly modify a remote tracking branch.

464

)))

465

1. (((

466

You can merge the remote changes into your local {{code language="none"}}master{{/code}} branch with the following command:

467

468

469

$ git merge gitorious/master

470

Auto-merging examples.txt

471

Merge made by recursive.

472

examples.txt | 8 ++++----

473

1 files changed, 4 insertions(+), 4 deletions(-)

474

475

476

Since this combination of {{code language="none"}}fetch{{/code}} and {{code language="none"}}merge{{/code}} is used very often, Git offers a shortcut for it, namely the {{code language="none"}}pull{{/code}} command. In this case the according command would have been {{code language="none"}}git pull gitorious master{{/code}}.

477

)))

478

1. (((

479

Push the merged branch to the server, and then push the {{code language="none"}}sketches{{/code}} branch, which is not on the server yet:

480

481

482

$ git push gitorious master

483

Counting objects: 23, done.

484

Delta compression using up to 16 threads.

485

Compressing objects: 100% (14/14), done.

486

Writing objects: 100% (14/14), 1.65 KiB, done.

487

Total 14 (delta 4), reused 0 (delta 0)

488

remote: => Syncing Gitorious... [OK]

489

To git@git.rtsys.informatik.uni-kiel.de:personal-msp/turing.git

490

1d1577f..957f686 master -> master

491

$ git push gitorious sketches

492

Total 0 (delta 0), reused 0 (delta 0)

493

remote: => Syncing Gitorious... [OK]

494

To git@git.rtsys.informatik.uni-kiel.de:personal-msp/turing.git

495

* [new branch] sketches -> sketches

)))

1. (((

As next step change your working directory to the second local repository {{code language="none"}}turing2{{/code}}, add the following line to the end of {{code language="none"}}notes.txt{{/code}} in the {{code language="none"}}turing2{{/code}} directory, and commit the change:

500

501

502

TODO: formal definition

)))

1. (((

Trying to push this commit to the server results in the following error message:

$ git push

To git@git.rtsys.informatik.uni-kiel.de:personal-msp/turing.git

511

! [rejected] master -> master (non-fast-forward)

512

error: failed to push some refs to 'git@git.rtsys.informatik.uni-kiel.de:personal-msp/turing.git'

513

To prevent you from losing history, non-fast-forward updates were rejected

514

Merge the remote changes before pushing again. See the 'Note about

515

fast-forwards' section of 'git push --help' for details.

516

517

518

This is because you have modified the branch while working in the original {{code language="none"}}turing{{/code}} repository, and these changes have to be merged with the new commit you have just made for {{code language="none"}}notes.txt{{/code}}.

519

)))

520

1. (((

521

The solution is to apply the {{code language="none"}}pull{{/code}} command followed by the {{code language="none"}}push{{/code}} command:

$ git pull

remote: Counting objects: 23, done.

526

remote: Compressing objects: 100% (14/14), done.

527

remote: Total 14 (delta 4), reused 0 (delta 0)

528

Unpacking objects: 100% (14/14), done.

529

From git.rtsys.informatik.uni-kiel.de:personal-msp/turing

530

1d1577f..957f686 master -> origin/master

531

* [new branch] sketches -> origin/sketches

532

Auto-merging notes.txt

533

Merge made by recursive.

534

examples.txt | 5 +++++

535

notes.txt | 1 +

536

2 files changed, 6 insertions(+), 0 deletions(-)

537

$ git push

538

Counting objects: 10, done.

539

Delta compression using up to 16 threads.

540

Compressing objects: 100% (6/6), done.

541

Writing objects: 100% (6/6), 673 bytes, done.

542

Total 6 (delta 2), reused 0 (delta 0)

543

remote: => Syncing Gitorious... [OK]

544

To git@git.rtsys.informatik.uni-kiel.de:personal-msp/turing.git

545

957f686..b58ded7 master -> master

546

547

548

While {{code language="none"}}pull{{/code}} performs a {{code language="none"}}fetch{{/code}} and a {{code language="none"}}merge{{/code}}, {{code language="none"}}push{{/code}} transfers the new merged branch to the server. Note that during the merge operation conflicts can occur. In that case you have to resolve them and commit the changes before you can push.

549

)))

550

1. (((

551

In order to check out the {{code language="none"}}sketches{{/code}} branch, which was previously pushed to the server, simply type the following command:

552

553

554

$ git checkout sketches

555

Branch sketches set up to track remote branch sketches from origin.

556

Switched to a new branch 'sketches'

557

558

559

This branch can be pushed and pulled with the server in the same way as you did for the {{code language="none"}}master{{/code}} branch.