Curia Damiano's blog
  • Home
  • Contact
  • Author
  • Help
Subscribe
Tagged

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"

  • Curia Damiano
Curia Damiano Jan 6, 2022 • 1 min read
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

  • Curia Damiano
Curia Damiano Sep 8, 2021 • 1 min read
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 adding it

  • Curia Damiano
Curia Damiano Jun 12, 2018 • 1 min read
Curia Damiano's blog © 2023
Powered by Ghost