GitHub

Git 分支已经推送，GitHub PR 却仍停留在旧提交，重复 push 也只得到 Everything up-to-date。本文记录一次排查：用 git ls-remote 对比远端分支与 PR head，确认不同步，再通过关闭并重新打开 PR 恢复更新，最后合并到 main，并说明这种办法的适用边界。

Codex 额度在两天后再次重置。记下这次预测没有赶上现实的小插曲，以及八月以来越来越密集的重置时间线。