anchor.diff:  When you are satisfied, push your local repository back into your Github account (also known as the origin).
   
   ....
  -vagrant@vagrant:/vagrant$ git push origin master
  +vagrant@XXXXXX:/vagrant$ git push origin master
   Username for 'https://github.com': YourGithubID
   Password for 'https://YourGithubID@github.com':
   Counting objects: 8, done.
  
positive.code: 
  ....
  YourStudentID@serverXXX:~/examples$ vagrant ssh
  Welcome to Ubuntu 12.04 LTS (GNU/Linux 3.2.0-23-generic x86_64)
  ...some stuff
  Welcome to your Vagrant-built virtual machine.
  Last login: Fri Sep 14 06:23:18 2012 from 10.0.2.2
  vagrant@xenial64:~$
  ....
  
  Go to the /vagrant directory on your Vagrant virtual machine and list the files. (Dont get confused with the /home/vagrant directory.)
  
  ....
  vagrant@xenial64:~$ cd /vagrant
  vagrant@xenial64:/vagrant$ ls
  README.md  starter.sh  YourStudentID-testfile.adoc  Vagrantfile
  ....
  
  
negative.code: 
  Exit the Vagrant instance (now back on the class server prompt) and destroy your Vagrant virtual machine:
  
      vagrant@XXXXXX:/vagrant$ exit
  	logout
  	Connection to 127.0.0.1 closed.
  	YourStudentID@serverXXX:~/examples$ vagrant destroy -f
  
  Notice that your script is still in your ~/examples directory. Again, all files in the /vagrant directory on your virtual machine were mapped to the ~/examples directory on the host server.
  
  