Vaibhav Kasturia vkasturia

The repository for the assignment is public and Github does not allow the creation of private forks for public repositories.

The correct way of creating a private frok by duplicating the repo is documented here.

For this assignment the commands are:

Create a bare clone of the repository. (This is temporary and will be removed so just do it wherever.)

git clone --bare [email protected]:usi-systems/easytrace.git

	import os
	import requests
	from urllib.parse import urljoin
	from bs4 import BeautifulSoup
	import argparse

	#%% Example
	# one pdf
	# python all_pdf_dl.py -l https://memento.epfl.ch/academic-calendar/ --save-here
	# many pdfs

	import os
	import requests
	from urllib.parse import urljoin
	from bs4 import BeautifulSoup
	import argparse

	#%% Example
	# one pdf
	# python all_pdf_dl.py -l https://memento.epfl.ch/academic-calendar/ --save-here
	# many pdfs

	#!/bin/bash
	# Sometimes you need to move your existing git repository
	# to a new remote repository (/new remote origin).
	# Here are a simple and quick steps that does exactly this.
	#
	# Let's assume we call "old repo" the repository you wish
	# to move, and "new repo" the one you wish to move to.
	#
	### Step 1. Make sure you have a local copy of all "old repo"
	### branches and tags.