hpr2512 :: Intro to git remote
All about git remote
Hosted by Klaatu on Tuesday 2018-03-20 is flagged as Clean and is released under a CC-BY-SA license.
Tags: git, remote, server.
Listen in ogg,
spx, or
mp3 format. | Comments (0)
Part of the series: Introduction to Git
Initiated by Klaatu, this open series introduces Git and the concepts behind its use in a collaborative environment.
Instantiate a git repo:
$ mkdir alice
$ cd !$
$ git init
Add a remote:
$ git remote add origin URI_OF_REMOTE
Change a remote:
$ git remote set-url origin NEW_URI
A remote can be a server, it can be a local directory, an NFS share, pretty much whatever you want.
It is a Git convention that the primary remote is called origin. You don't have to call it that, but it's pretty common.
Show Transcript
Automatically generated using whisper
whisper --model tiny --language en hpr2512.wav