further commits don't add to PR

[ryanho]

Select Topic Area

Question

Body

I added PR to origin repo.
rugk/mastodon-simplified-federation#80

As owner requested, I modified files and added two commits to fork repo. But further commits did not add to PR.
rugk/mastodon-simplified-federation#80 (comment)

Is is a bug or something I forget to do?

[nalsur-veallam]

Maybe it's because you closed the pull request instead of merging commit as planned?

[airtower-luna]

It looks like you didn't push the new commits to the head branch of the PR. Once you do, they should show up.

[ryanho]

I maybe find the answer, in git log.

Same author/committer (me), but with different (old) email address.

[airtower-luna]

I don't know what the problem is, but it shouldn't be the email address. Worst case the commits wouldn't be recognized as yours, but they should show up. 😕

Of course, there's the chance that a force-push after fixing them will work if whatever caused the problem is gone. 😅 If the problem stays, try to send a bug report to support.

[ryanho]

After revert commits they finally show up at PR. So if not email address it should be some problem in Github's service.

[github-actions[bot]]

🕒 Discussion Activity Reminder 🕒

This Discussion has been labeled as dormant by an automated system for having no activity in the last 60 days. Please consider one the following actions:

1️⃣ Close as Out of Date: If the topic is no longer relevant, close the Discussion as out of date at the bottom of the page.

2️⃣ Provide More Information: Share additional details or context — or let the community know if you've found a solution on your own.

3️⃣ Mark a Reply as Answer: If your question has been answered by a reply, mark the most helpful reply as the solution.

Note: This dormant notification will only apply to Discussions with the Question label. To learn more, see our recent announcement.

Thank you for helping bring this Discussion to a resolution! 💬