Update "docs shell --update" functions and docs

Marcia Ramosrequested to merge
shell-update into master

Improve docs shell --update & related functions and docs.

Details

  • Refresh index before checking for new changes: $ git update-index --refresh
  • Update git diff-index HEAD-- to git diff-files --quiet --ignore-submodules -- (the previous function was returning false-positive results for unstaged changes)
  • Check the branch before checkout master: $ git branch --show-current | grep 'master'
  • Add a flag for forks docs shell --update --fork (necessary to push to origin)
  • Only push to origin if using a fork
  • Use git_pull_check for non-forks
  • Source all files on reconfigure
  • Minor fixes: Export variables

Merge request reports