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. Hanspeter
_______________________________________________ fink-core mailing list firstname.lastname@example.org List archive: http://news.gmane.org/gmane.os.apple.fink.core Subscription management: https://lists.sourceforge.net/lists/listinfo/fink-core