Curia Damiano's blog
  • Home
  • Contact
  • Author
  • Help
Sign in Subscribe

GitHub

A collection of 3 posts
GitHub: how to commit
GitHub

GitHub: how to commit

These are the commands to commit and push to a remote in GitHub: git add . git commit -m "Comment to the commit" git push origin master If after the commit you also want to create a tag: git tag "MyTagName" git push origin "MyTagName"
06 Jan 2022
Git: how to handle new-lines properly in Windows
GitHub

Git: how to handle new-lines properly in Windows

When cloning Git repositories to your Windows machine, Git offers the possiblity to automatically convert new-lines in the Windows format. To enable this, you must run from the command line the following command: git config --global core.autocrlf true Reference: Configuring Git to handle line endings [https://docs.github.com/
08 Sep 2021
GitHub: how to reset the content of a repository
GitHub

GitHub: how to reset the content of a repository

Steps to follow in case you want to reset (i.e. empty) the content of a GitHub repository, without deleting the full repository itself: * in case you don't already have it, create a SSH key and add it to your GitHub profile: Generating a new SSH key and
12 Jun 2018 1 min read
Page 1 of 1
Curia Damiano's blog © 2025
Powered by Ghost