openshmem-org / specification

OpenSHMEM Application Programming Interface
http://www.openshmem.org
50 stars 32 forks source link

TEAMS: Adding config_mask to shmem_team_get_config #363

Closed shamisp closed 4 years ago

shamisp commented 4 years ago

Signed-off-by: Pavel Shamis (Pasha) pasharesearch@gmail.com

shamisp commented 4 years ago

Fixing #293

shamisp commented 4 years ago

@jdinan I will keep the PR on this tree as for now. Once we done with discussion, I will open an PR on your tree.

jdinan commented 4 years ago

Please move this PR to the teams section branch.

shamisp commented 4 years ago

@jdinan - Sorry , where is section branch.

jdinan commented 4 years ago

@shamisp jdinan:sec/ctx-teams

shamisp commented 4 years ago

@jdinan seems like GitHub does not have an option to move PR to another fork. So I guess the right thing todo is to close this one and reopen one on your tree ?

jdinan commented 4 years ago

You can change the base branch using the edit button at the top, but I don't think you can change it to a different fork.

shamisp commented 4 years ago

Discussion moved here https://github.com/jdinan/specification/pull/9

shamisp commented 4 years ago

Opened new pr on your tree

On Fri, Feb 14, 2020 at 11:21 AM James Dinan notifications@github.com wrote:

You can change the base branch using the edit button at the top, but I don't think you can change it to a different fork.

— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub https://github.com/openshmem-org/specification/pull/363?email_source=notifications&email_token=AARB5WHQVEQKJJR6Y6AGVGLRC3HJ5A5CNFSM4KRBLCM2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOELZYLUY#issuecomment-586384851, or unsubscribe https://github.com/notifications/unsubscribe-auth/AARB5WFJUDY7AYDJTERW3XTRC3HJ5ANCNFSM4KRBLCMQ .