User Tools

Site Tools


github_repositories_of_the_lab

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
github_repositories_of_the_lab [2024/08/09 15:03] – [Saving changes as commits] 134.190.232.164github_repositories_of_the_lab [2024/08/13 11:26] (current) – [Saving changes as commits] 134.190.232.164
Line 55: Line 55:
 Before anything else, it's good practice to run ''git pull''. This will ensure that we are working with the most up-to-date repo we have. Someone else may have made changes while we were working on our changes! Before anything else, it's good practice to run ''git pull''. This will ensure that we are working with the most up-to-date repo we have. Someone else may have made changes while we were working on our changes!
  
-If we see+If we we're already working on the latest version, we see
  
 <code> <code>
Line 61: Line 61:
 </code> </code>
  
-we're good to go.+and we're good to go. 
 + 
 +If not, you may something along the lines of 
 + 
 +<code> 
 +remote: Enumerating objects: 9, done. 
 +remote: Counting objects: 100% (9/9), done. 
 +remote: Compressing objects: 100% (3/3), done. 
 +remote: Total 6 (delta 4), reused 5 (delta 3), pack-reused 0 
 +Unpacking objects: 100% (6/6), done. 
 +From github.com:RogerLab/gospel_of_andrew 
 +   cf52972..f843408  main       -> origin/main 
 +Updating cf52972..f843408 
 +Fast-forward 
 + find_polyA_sites.py | 118 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++-------------------------------------------------- 
 + 1 file changed, 69 insertions(+), 51 deletions(-) 
 +</code> 
 + 
 +It tells us in this case that the find_polyA_sites.py script was modified in the last commit or commits that were lacking in our local copy of the main branch, and that our local copy is now updated with those changes. We're good to go.
  
 Now, let's run ''git status'', while we are in the git repo directory.  Now, let's run ''git status'', while we are in the git repo directory. 
Line 142: Line 160:
  
 A succesfull push! If you check the online GitHub repository now in your internet browser, the file should be updated! A succesfull push! If you check the online GitHub repository now in your internet browser, the file should be updated!
 +
 +You should now be familiar with the basics of interacting with a GitHub repository. Using git can be far more advanced, with different branches, re-basing etc etc but I'd say for 99% of our usecases this should suffice.
 +
 +==== Deleting a repository ====
 +
 +Deleting a local copy of your repository is as easy as removing the folder that contains the repository.
 +
 +For example
 +
 +<code>
 +rm -r gospel_of_andrew
 +</code>
 +
 +Easy peasy!
github_repositories_of_the_lab.1723226605.txt.gz · Last modified: by 134.190.232.164