Stream: math-comp devs

Topic: Setup to submit / rebase a PR


view this post on Zulip Cyril Cohen (May 10 2022 at 10:47):

@Pierre Jouvelot please let's discuss here to continue https://github.com/math-comp/math-comp/pull/881#issuecomment-1122222883

view this post on Zulip Cyril Cohen (May 10 2022 at 10:48):

Could you please do git remote -v

view this post on Zulip Pierre Jouvelot (May 10 2022 at 12:28):

Here it is, but I don't want to waste your time with git issues. I'll try to do a clean PR later on :)

[nix-shell:~/Desktop/ownCloud/Github/pierre/math-comp]$ git remote -v
origin  git@github.com:jouvelot/math-comp.git (fetch)
origin  git@github.com:jouvelot/math-comp.git (push)

Thanks again for your kind help.

view this post on Zulip Cyril Cohen (May 10 2022 at 12:30):

ok so you clearly miss a remote for the upstream development of mathcomp, without which you cannot keep in sync with the ongoing development (including your own), you must git remote add upstream git@github.com:math-comp/math-comp.git to start with

view this post on Zulip Cyril Cohen (May 10 2022 at 13:31):

Also you should never start from a branch you already used to develop another PR (unless you really know why)

view this post on Zulip Pierre Jouvelot (May 10 2022 at 15:03):

Thanks, Cyril. I had created a new branch, and moved into it, but this didn't work as I thought it would. I'm going to try with your suggestions, and resubmit.

view this post on Zulip Cyril Cohen (May 10 2022 at 16:29):

You do not need to do anything, since I reopened you PR, did the rebase and commited my suggestions


Last updated: Aug 11 2022 at 03:02 UTC