Stream: t-lang/wg-unsafe-code-guidelines

Topic: change github repo defaults to "merge"


gnzlbg (Feb 22 2019 at 09:40, on Zulip):

I'm having a dejavu over the rebase vs merge conversation. I think we already had it. Do you know where the defaults for each repo are set?

RalfJ (Feb 22 2019 at 09:42, on Zulip):

oh lol we typed those topics at the same time it seems^^

RalfJ (Feb 22 2019 at 09:42, on Zulip):

and in a repo where I do have admin access, I don't see a way to set the default policy

RalfJ (Feb 22 2019 at 09:43, on Zulip):

AFAIK it just remembers what you did last time? but that'd mean you switched it to rebase at some point, and then it stuck there

gnzlbg (Feb 22 2019 at 09:43, on Zulip):

@nikomatsakis might be able to look into that, it should be somewhere in the settings page of the repo

gnzlbg (Feb 22 2019 at 09:43, on Zulip):

Screen-Shot-2019-02-22-at-10.43.18.png

gnzlbg (Feb 22 2019 at 09:43, on Zulip):

So I don't think one can set defaults, but one can limit the options to only one.

RalfJ (Feb 22 2019 at 09:44, on Zulip):

yeah. sometimes the other options might still be useful though... I just think they should only be used with a good reason.

gnzlbg (Feb 22 2019 at 09:45, on Zulip):

maybe i can configure my defaults for the repo?

nikomatsakis (Feb 22 2019 at 18:34, on Zulip):

@gnzlbg I just gave you admin access to the repo

nikomatsakis (Feb 22 2019 at 18:34, on Zulip):

sorry, I'm kind of too busy to follow up here but maybe you can figure it out :)

Last update: Nov 20 2019 at 12:05UTC