If the web UI works like it does in GitLab, what might happen is that your 
changes get sent to a new branch if you don’t have write privileges to the 
branch.  However, in GitLab admins can redirect merge requests to alternate 
branches, so it’s probably best not to assume too much.

I’m going to have some Fink time due to unforeseen and unpleasant 
circumstances, so I can do a release and document the procedure I follow once 
we’re ready.

Sent from Mail for Windows 10

From: Hanspeter Niederstrasser
Sent: Wednesday, December 12, 2018 2:11 AM
To: Alexander Hansen; fink-core
Subject: Re: [fink-core] Merge #166 ?

On 12/11/18 11:14 PM, Alexander Hansen wrote:
> I was thinking that it might help us if we do the aforementioned merge to 
> facilitate community testing, etc.
> -akh

I'm OK with that. TheSin said he'd added a couple local changes on top 
of jwhowarth's pull and been running OK with them. I *think* it might be 
possible to edit the files via the web interface even though the pull 
comes from jwhowarth's clone. I know I can see the edit pencil icon, but 
I haven't tried to actually save a change.

Might be good to have those changes then merge, or just merge as is and 
then ask TheSin to make a pull for his changes and merge them quickly.


fink-core mailing list
List archive:
Subscription management:

Reply via email to