https://intro-kodkod-6.nm-ambition.com/en/docs/git/Recent content in Git and GitHub on kodkod | Intro CourseHugoenמבואות קודקודhttps://intro-kodkod-6.nm-ambition.com/en/docs/git/01-version-control-concepts/Mon, 01 Jan 0001 00:00:00 +0000https://intro-kodkod-6.nm-ambition.com/en/docs/git/01-version-control-concepts/<h2 id="what-will-we-learn">What will we learn?</h2> <ul> <li>What <strong>Version Control</strong> is, and why every developer uses it.</li> <li>What <strong>Git</strong> is.</li> <li>The three areas: <strong>Working Directory</strong>, <strong>Staging Area</strong>, <strong>Repository</strong>.</li> <li>What a <strong>Commit</strong> is.</li> <li>The initial setup of Git.</li> </ul> <h2 id="why-do-we-need-this">Why do we need this?</h2> <p>Do you know this folder?</p>https://intro-kodkod-6.nm-ambition.com/en/docs/git/02-git-basic-commands/Mon, 01 Jan 0001 00:00:00 +0000https://intro-kodkod-6.nm-ambition.com/en/docs/git/02-git-basic-commands/<h2 id="what-will-we-learn">What will we learn?</h2> <p>The daily work cycle with Git, command by command:</p> <table> <thead> <tr> <th>Command</th> <th>What it does</th> </tr> </thead> <tbody> <tr> <td><code>git init</code></td> <td>Creates a Repository</td> </tr> <tr> <td><code>git status</code></td> <td>What is the state now?</td> </tr> <tr> <td><code>git add</code></td> <td>Puts changes into Staging</td> </tr> <tr> <td><code>git commit</code></td> <td>Saves a snapshot into the history</td> </tr> <tr> <td><code>git log</code></td> <td>Shows the history</td> </tr> <tr> <td><code>git diff</code></td> <td>Shows what changed</td> </tr> </tbody> </table> <p>And in addition: <strong><code>.gitignore</code></strong>, how to tell Git &ldquo;ignore these&rdquo;.</p>https://intro-kodkod-6.nm-ambition.com/en/docs/git/03-github-remote-push/Mon, 01 Jan 0001 00:00:00 +0000https://intro-kodkod-6.nm-ambition.com/en/docs/git/03-github-remote-push/<h2 id="what-will-we-learn">What will we learn?</h2> <ul> <li>What <strong>GitHub</strong> is.</li> <li>What a <strong>Remote</strong> (a remote server) is and what <strong>origin</strong> is.</li> <li>How to <strong>upload</strong> code with <strong><code>git push</code></strong>.</li> <li>How to write good <strong>Commit messages</strong>.</li> </ul> <h2 id="why-do-we-need-this">Why do we need this?</h2> <p>Until now the whole history is saved <strong>only on your computer</strong>. GitHub gives:</p>