get_push_history
Retrieve the last 5 push records to verify that current changes have not been previously pushed. Avoid duplicate pushes by checking history before committing.
Instructions
Get the last 5 push history records for the git repository. This tool should be called before using git_push to ensure the current changes have not been pushed before.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||