Opening a pull request for opencog/atomspace and opencog/docker

[Apil Tamang]

Hi,

As I go through the examples, I feel there're small things (mostly comments and instructions) that could be improved upon. I'm a new-comer to opencog, and I think this might help others going through the same path.

Also, noticed that there's a small setting somewhere in the docker files that could use a change for a more seamless installation.

Trying to open a pull request didn't work for me. I guess the repository is locked (and for good reasons, I'm sure). Can someone suggest how I may contribute changes to the core opencog git-hub sources?

[Nil Geisweiller]

Hi,

On 12/21/2016 03:29 PM, Apil Tamang wrote:
> Hi,
>
> As I go through the examples, I feel there're small things (mostly
> comments and instructions) that could be improved upon. I'm a new-comer
> to opencog, and I think this might help others going through the same path.

that is very welcome indeed.

>
> Also, noticed that there's a small setting somewhere in the docker files
> that could use a change for a more seamless installation.
>
> Trying to open a pull request didn't work for me. I guess the repository
> is locked (and for good reasons, I'm sure). Can someone suggest how I
> may contribute changes to the core opencog git-hub sources?

Do you have a github account? I think that's the only requirement.

Nil

>
> --
> You received this message because you are subscribed to the Google
> Groups "opencog" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to opencog+u...@googlegroups.com
> <mailto:opencog+u...@googlegroups.com>.
> To post to this group, send email to ope...@googlegroups.com
> <mailto:ope...@googlegroups.com>.
> Visit this group at https://groups.google.com/group/opencog.
> To view this discussion on the web visit
> https://groups.google.com/d/msgid/opencog/a70bd6c5-3c45-48d6-98a4-2d4284c915d3%40googlegroups.com
> <https://groups.google.com/d/msgid/opencog/a70bd6c5-3c45-48d6-98a4-2d4284c915d3%40googlegroups.com?utm_medium=email&utm_source=footer>.
> For more options, visit https://groups.google.com/d/optout.

[Apil Tamang]

Hi,

My github account is under apil....@gmail.com

[Nil Geisweiller]

I've sent you an invitation. I surprised though, it shouldn't have been
necessary.

Nil

> > an email to opencog+u...@googlegroups.com <javascript:>
> > <mailto:opencog+u...@googlegroups.com <javascript:>>.

> > To post to this group, send email to ope...@googlegroups.com

> <javascript:>
> > <mailto:ope...@googlegroups.com <javascript:>>.

> > Visit this group at https://groups.google.com/group/opencog

> <https://groups.google.com/group/opencog>.

> > To view this discussion on the web visit
> >
> https://groups.google.com/d/msgid/opencog/a70bd6c5-3c45-48d6-98a4-2d4284c915d3%40googlegroups.com
> <https://groups.google.com/d/msgid/opencog/a70bd6c5-3c45-48d6-98a4-2d4284c915d3%40googlegroups.com>
>
> >

> <https://groups.google.com/d/msgid/opencog/a70bd6c5-3c45-48d6-98a4-2d4284c915d3%40googlegroups.com?utm_medium=email&utm_source=footer

> <https://groups.google.com/d/msgid/opencog/a70bd6c5-3c45-48d6-98a4-2d4284c915d3%40googlegroups.com?utm_medium=email&utm_source=footer>>.
>
> > For more options, visit https://groups.google.com/d/optout

> <https://groups.google.com/d/optout>.

>
> --
> You received this message because you are subscribed to the Google
> Groups "opencog" group.
> To unsubscribe from this group and stop receiving emails from it, send
> an email to opencog+u...@googlegroups.com
> <mailto:opencog+u...@googlegroups.com>.
> To post to this group, send email to ope...@googlegroups.com
> <mailto:ope...@googlegroups.com>.
> Visit this group at https://groups.google.com/group/opencog.
> To view this discussion on the web visit

> https://groups.google.com/d/msgid/opencog/44848186-8cb7-4329-8463-3d21e128facd%40googlegroups.com
> <https://groups.google.com/d/msgid/opencog/44848186-8cb7-4329-8463-3d21e128facd%40googlegroups.com?utm_medium=email&utm_source=footer>.

[Linas Vepstas]

On Wed, Dec 21, 2016 at 7:29 AM, Apil Tamang
<apil.tama...@gmail.com> wrote:

> Trying to open a pull request didn't work for me.

> I guess the repository is
> locked (and for good reasons, I'm sure).

It should not be ... it should just work. I crawled through the
github admin menus trying to find what might be blocking you ... I did
not find it.

In the past, we've had many gsoc summer students contributing to the
project, and they were able to make pull requests, without our having
to do anything special to allow them in.

Everything in the opencog project is open, and there are not supposed
to be any restrictions to collaborating ... anyone should be able to
create a pull request. The ability to merge is restricted to a
smaller group (which is still quite large).

--linas

> Can someone suggest how I may
> contribute changes to the core opencog git-hub sources?
>

> --
> You received this message because you are subscribed to the Google Groups
> "opencog" group.
> To unsubscribe from this group and stop receiving emails from it, send an

> email to opencog+u...@googlegroups.com.
> To post to this group, send email to ope...@googlegroups.com.

> Visit this group at https://groups.google.com/group/opencog.
> To view this discussion on the web visit

> https://groups.google.com/d/msgid/opencog/a70bd6c5-3c45-48d6-98a4-2d4284c915d3%40googlegroups.com.