On 12 Apr 2018, at 19:52, Craig Treleaven wrote:
> Is there a playground somewhere to try out such features? For those of us
> that are somewhat git- and github-challenged.
Not that I'm aware of. Just fork some repo or create a new one and make it your
playground.
> On Apr 12, 2018, at 1:35 PM, db wrote:
>
> On 12 Apr 2018, at 14:27, Mojca Miklavec wrote:
>> What nobody mentioned so far is that one can also simply click "Edit" on the
>> existing Portfile on GitHub interface and that will also open a pull request.
>
> Interesting. It seems that 'Create n
On 12 Apr 2018, at 14:27, Mojca Miklavec wrote:
> What nobody mentioned so far is that one can also simply click "Edit" on the
> existing Portfile on GitHub interface and that will also open a pull request.
Interesting. It seems that 'Create new file' would have a similar effect.
'Upload files'
On 12 April 2018 at 13:59, db wrote:
> On 11 Apr 2018, at 19:24, Perry E. Metzger wrote:
>> The main steps are:
>> […]
>> [By the way, if someone wants to turn this email into a document, I
>> was pretty careful writing what's above so that would be easy.]
>
> Thanks for the write-up. Although I pr
On 11 Apr 2018, at 19:24, Perry E. Metzger wrote:
> The main steps are:
> […]
> [By the way, if someone wants to turn this email into a document, I
> was pretty careful writing what's above so that would be easy.]
Thanks for the write-up. Although I probably rather prefer the PR way, it's
gettin
On Wed, 11 Apr 2018 16:50:02 +0200 db wrote:
> On 11 Apr 2018, at 15:44, Mojca Miklavec wrote:
> > Are you willing to open pull requests for your submissions?
>
> Sure. I just need to learn how and if I'm allowed to.
Anyone can submit a GitHub pull request to any GitHub repo. (The owner
can s
