Skip to content
 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

17 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

jwoc_website

JWoC 2020 Website

set up git

  • git config --global user.name "John_Doe"
  • git config --global user.email "john@example.com"

Git commands you are going to use

  1. git clone url (by cloning all the files in that repo will be available to your local machine + before cloning make sure to fork the repo to your acount)
  2. git add filename.txt (after changing a particular file )
  3. git add . (too add everything)
  4. git commit -m "message" (it is recommended to commit with a message to tell what are the things you have changed)
  5. git push (push it to the main branch now it will be available in github)

git push origin branch_name (it will push your code from local branch to the master branch) e.g git push origin devsg ( it will push branch devsg( local branch) to original repo's master branch , henceforth creating a PR)

  1. git config --global https.proxy 172.16.102.28:8080
  2. git config --global http.proxy 172.16.102.28:8080
  3. git config --global --get-regexp http.*
  4. git config --global --unset https.proxy
  5. git config --global --unset http.proxy

About

JWoC 2020 Website

Resources

Stars

0 stars

Watchers

0 watching

Forks

Releases

Packages

Contributors

Languages