[My Awesome Project] Execute mgit push command for repository "my-project-repo" with a commit message.

IMPORTANT:

• You MUST call get_push_history tool FIRST to view the last 5 push records before using this tool

• Confirm that the changes in this push have not been pushed before, otherwise modify the push message and push again

• The repository name is configured via REPO_NAME environment variable

• Language setting: en (default: en)

• Push history check is enabled (CHECK_PUSH_HISTORY=true). You must review push history before pushing.

USAGE:

1. First call get_push_history to view recent push records

2. Then call this tool with the commit message parameter. Example: {message: "Update project files"}

Please provide the commit message in English language.

NOTE: If the push result contains a branch merge URL (such as a pull request URL), please output it to the user. If you can open a browser, you may also automatically open the URL.

[My Awesome Project] Get the last 5 push history records for repository "my-project-repo". This tool MUST be called before using mgit_push to ensure the current changes have not been pushed before. After calling this tool, you can proceed with mgit_push.

[My Awesome Project] Get operation logs