GitHub pull request
git pull [repository link] [branch]
nové úložiště github použité
$ git init
$ git add .
# Adds the files in the local repository and stages them for commit. To unstage a file, use 'git reset HEAD YOUR-FILE'.
$ git commit -m "First commit"
# Commits the tracked changes and prepares them to be pushed to a remote repository. To remove this commit and modify the file, use 'git reset --soft HEAD~1' and commit and add the file again.
$ git remote add origin remote repository URL
# Sets the new remote
$ git remote -v
# Verifies the new remote URL
$ git push origin main
# Pushes the changes in your local repository up to the remote repository you specified as the origin
rozdíl mezi pull a pull request
If you use git pull, you pull the changes from the remote repository
into yours.
If you send a pull request to another repository, you ask their
maintainers to pull your changes into theirs (you more or less ask
them to use a git pull from your repository).
jak odeslat požadavek na vytažení v gitu
git push origin some-branch
github
pip3 install flask_bootstrap email_validator flask_wtf