-
Notifications
You must be signed in to change notification settings - Fork 552
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Fork feature pr branch #107
base: master
Are you sure you want to change the base?
Conversation
If two repos with the same name are forked, GitHub adds a number at the end, separated by a hyphen, to disambiguate. Thus the fork repo name is not always the same as the repo name.
It is unnecessary because it can be retrieved via the GitHub API from the fork
Becuase it should be in a separate pull request
This is great, thanks! Give me some time to play with this and I'll feedback. |
First of all, sorry for the late reply. I've just merged a PR that took all my focus for a few weeks. Can you provide some detail on how this proposed functionality works? I see that you're adding a Also, what will happen with a fork after the PR is merged? Do we keep it indefinitely under the bot's account, or do we delete it? If we keep it, is there a risk that the base repository changes and our fork becomes outdated, possibly leading to merge conflicts? We'd be stuck at that point and unable to proceed without human interaction. Thanks! |
Hi! The usage of the If It may be possible to eliminate the Here is what is going on here that causes this error. The first time that a comment is submitted, In response to your second paragraph of questions: My code currently keeps a fork indefinitely, and there is no way of deleting it or syncing it. You're right that this could be a problem. Maybe the Thanks for your feedback! |
No, thank you for taking the time to describe your reasoning!
I believe this is because creating a fork is an asynchronous operation, as described here. This means that even though the Promise resolves, the fork doesn't exist at that point yet. I think this poses a series of problems, with the first one being that even if our strategy is to ask people to ping the I can definitely see the value of adding this feature, but I worry about the potential caveats of the implementation. |
I see. So why don't we inform the user that On another note, it would be convenient if the bot could allow edits from maintainers on pull requests it makes, but I'm not sure if the Github API has this option. |
I must say I don't like the idea of a After requesting the fork creation, I would probably poll the API every 30 seconds or so to check if the fork had been successfully created, and then proceed with the rest of the steps. |
OK that sounds good. Why not every 5 seconds instead of 30, since that is the interval of time that Github specifies as an upper bound for how long it could take unless there is something wrong? The bot could listen for changes to the owner's repository and automatically sync to them, similar to 1egoman/backstroke. |
Fix tags-heading style
In fulfillment of this issue