[squeak-dev] Unable to open pull request via GitHub for squeak.org website repository
tim Rowledge
tim at rowledge.org
Sat Aug 26 18:21:41 UTC 2017
> On 25-08-2017, at 9:15 PM, Fabio Niephaus <lists at fniephaus.com> wrote:
>
>
>
> On Fri, Aug 25, 2017 at 10:12 PM tim Rowledge <tim at rowledge.org> wrote:
>
> > On 25-08-2017, at 2:49 PM, Fabio Niephaus <lists at fniephaus.com> wrote:
> > Did you know that you can edit the file and open a PR directly on GitHub [1]?
>
> Umm, maybe. I have this vague feeling I have actually done that at some point…
>
> Anyway, I did it, saved stuff, opened a pull request etc. Hopefully it actually did what I think it did!
>
> Just merged it and it's live!
Thank you. Now all we need os to find an appropriate place for the downloadable image to live.
tim
--
tim Rowledge; tim at rowledge.org; http://www.rowledge.org/tim
Strange OpCodes: EOS: Erase Operating System
More information about the Squeak-dev
mailing list
|