Git push后如何提交单个修改文件修正已推送代码的构建错误

前置提醒 #

该操作会修改远程已存在提交的哈希值，若你当前使用的是多人协作的公共分支，请先确认其他协作者未在你上次推送后提交新代码，避免后续产生不必要的代码冲突。

具体操作步骤 #

• 第一步：暂存当前修改的文件
  执行以下命令暂存目标文件，你当前仅有1个文件改动，也可以直接用git add .暂存所有改动：
  git add 你修改的单文件路径
• 第二步：将暂存改动合并到上一次提交
  你之前使用git commit --amend仅能修改提交信息，是因为执行命令前未将改动文件暂存到暂存区，提前暂存后再执行amend即可合并文件改动，且不会生成新提交：
  若需要修改原提交信息，执行：
  git commit --amend
  若不需要修改原提交信息，直接执行：
  git commit --amend --no-edit
• 第三步：强制推送到远程对应分支
  改动合并后本地提交的哈希值已和远程不一致，普通push会报错，需执行强制推送命令。更推荐使用--force-with-lease参数，该参数会先校验远程分支是否有其他人提交的新代码，存在新代码时会推送失败避免覆盖他人改动：
  git push --force-with-lease origin 你的分支名
  确认远程分支无他人新提交时也可以用普通强制推送：
  git push --force origin 你的分支名

结果验证 #

推送完成后执行git log --oneline查看提交记录，确认提交数量未新增，最近一次提交已包含你本次修改的文件即可，构建服务器会自动触发该提交的新构建流程。

内容的提问来源于stack exchange，提问作者user1944555