Skip to content

Commit

Permalink
Remove pull feature
Browse files Browse the repository at this point in the history
  • Loading branch information
user.name committed May 20, 2023
1 parent 1ce7968 commit d7d0eae
Show file tree
Hide file tree
Showing 2 changed files with 1 addition and 185 deletions.
11 changes: 1 addition & 10 deletions commit
Original file line number Diff line number Diff line change
Expand Up @@ -31,16 +31,7 @@ if ! git rev-parse --is-inside-work-tree > /dev/null 2>&1; then
fi
fi

# Check if there are any changes in the remote repository
remote_changes=$(git fetch && git rev-list HEAD..origin/master --count)
if [ $remote_changes -gt 0 ]; then
read -p "There are $remote_changes remote change(s). Do you want to pull the changes? (y/n): " pull_changes
if [ "$pull_changes" == "y" ]; then
git pull origin master
fi
fi

# Prompt for user input
#Prompt for user input
read -p "Enter commit message: " message
echo

Expand Down
175 changes: 0 additions & 175 deletions commit~

This file was deleted.

0 comments on commit d7d0eae

Please sign in to comment.