|
Re: #bep0002 Proposal open for discussion
#bep0002
Hello,
with the votes of more than 2/3 of the active participants gathered, the Bonsai enhancement proposal 0002 is approved.
/Romain
Hello,
with the votes of more than 2/3 of the active participants gathered, the Bonsai enhancement proposal 0002 is approved.
/Romain
|
By
romain
·
#241
·
|
|
Re: #bep0002 Proposal open for discussion
#bep0002
To be pedantic (but, you know, it is literally in the BEP that we are
discussing), BEP0002 is accepted because one half of the active
participants in BONSAI (defined as posting to the mailing list
To be pedantic (but, you know, it is literally in the BEP that we are
discussing), BEP0002 is accepted because one half of the active
participants in BONSAI (defined as posting to the mailing list
|
By
Chris Mutel
·
#242
·
|
|
Spring 2020 hackathon proposal rough draft RFC
#communication
First rough draft of Spring 2020 proposal is here: https://github.com/BONSAMURAIS/hackathons/blob/master/2020-spring/proposal.md. Please provide feedback on mailing list or by editing the proposal
First rough draft of Spring 2020 proposal is here: https://github.com/BONSAMURAIS/hackathons/blob/master/2020-spring/proposal.md. Please provide feedback on mailing list or by editing the proposal
|
By
Chris Mutel
·
#243
·
|
|
Re: Spring 2020 hackathon proposal rough draft RFC
#communication
First draft is finished. I will be sending this to potential granting agencies/people on Friday, March 6; please provide comments (if any) before that, either on the mailing list, or by editing the
First draft is finished. I will be sending this to potential granting agencies/people on Friday, March 6; please provide comments (if any) before that, either on the mailing list, or by editing the
|
By
Chris Mutel
·
#244
·
|
|
Re: Spring 2020 hackathon proposal rough draft RFC
#communication
Hi there,
I am new to BONSAI after learning about it through the lca-net website. Just like to register my interest in your hackathon, probably attending digitally given the current travel
Hi there,
I am new to BONSAI after learning about it through the lca-net website. Just like to register my interest in your hackathon, probably attending digitally given the current travel
|
By
arturdonaldson@...
·
#245
·
|
|
CI Deploy failed
#infrastructure
#rdf
#ontology
Hi all, Tomas,
the automatic deploy of the ontology is failing and we cannot understand why,
see here:
https://travis-ci.org/BONSAMURAIS/ontology
Do you have any idea?
Thanks,
Matteo
Hi all, Tomas,
the automatic deploy of the ontology is failing and we cannot understand why,
see here:
https://travis-ci.org/BONSAMURAIS/ontology
Do you have any idea?
Thanks,
Matteo
|
By
Matteo Lissandrini (AAU)
·
#246
·
|
|
Re: CI Deploy failed
#infrastructure
#rdf
#ontology
The error is quite clear though:
unexplained error
The error is quite clear though:
unexplained error
|
By
romain
·
#247
·
|
|
Re: CI Deploy failed
#infrastructure
#rdf
#ontology
https://bukk.it/error.jpg
---
Matteo Lissandrini
Department of Computer Science
Aalborg University
http://people.cs.aau.dk/~matteo
________________________________________
Sent: 05 May 2020
https://bukk.it/error.jpg
---
Matteo Lissandrini
Department of Computer Science
Aalborg University
http://people.cs.aau.dk/~matteo
________________________________________
Sent: 05 May 2020
|
By
Matteo Lissandrini (AAU)
·
#248
·
|
|
Re: CI Deploy failed
#infrastructure
#rdf
#ontology
I'm on it.
-----main@bonsai.groups.io escribió: -----
Para: main@bonsai.groups.io
De: "Matteo Lissandrini (AAU)"
Enviado por: main@bonsai.groups.io
Fecha: 05/05/2020 11:23
Asunto: [bonsai] CI Deploy
I'm on it.
-----main@bonsai.groups.io escribió: -----
Para: main@bonsai.groups.io
De: "Matteo Lissandrini (AAU)"
Enviado por: main@bonsai.groups.io
Fecha: 05/05/2020 11:23
Asunto: [bonsai] CI Deploy
|
By
tomas Navarrete
·
#249
·
|
|
Re: CI Deploy failed
#infrastructure
#rdf
#ontology
* The server is a virtual machine hosted at digitalocean (see screenshot below)
* I received a notification on maintenance on the "FRA1" network (where our VM is located) [see text below]
* the error
* The server is a virtual machine hosted at digitalocean (see screenshot below)
* I received a notification on maintenance on the "FRA1" network (where our VM is located) [see text below]
* the error
|
By
tomas Navarrete
·
#250
·
|
|
Re: CI Deploy failed
#infrastructure
#rdf
#ontology
I think we can move to a resource in AAU
---
Matteo Lissandrini
Department of Computer Science
Aalborg
I think we can move to a resource in AAU
---
Matteo Lissandrini
Department of Computer Science
Aalborg
|
By
Matteo Lissandrini (AAU)
·
#251
·
|
|
Re: CI Deploy failed
#infrastructure
#rdf
#ontology
The VM was blocked in a reboot cycle. I will investigate later why.
After rebooting the VM, I triggered a new build ( #50 ) and it passed,
I'm now verifying the state of the services.
The VM was blocked in a reboot cycle. I will investigate later why.
After rebooting the VM, I triggered a new build ( #50 ) and it passed,
I'm now verifying the state of the services.
|
By
tomas Navarrete
·
#252
·
|
|
Re: CI Deploy failed
#infrastructure
#rdf
#ontology
Amazing, thanks a lot!
---
Matteo Lissandrini
Department of Computer Science
Aalborg University
http://people.cs.aau.dk/~matteo
________________________________________
Sent: 05 May 2020
Amazing, thanks a lot!
---
Matteo Lissandrini
Department of Computer Science
Aalborg University
http://people.cs.aau.dk/~matteo
________________________________________
Sent: 05 May 2020
|
By
Matteo Lissandrini (AAU)
·
#253
·
|
|
Change branch name in GitHub
#communication
#project
Hi all,
I would like to propose we change branch names in our github repositories away from `master`.
Here some more pointers about this proposal.
```
Language and words have a power and,
Hi all,
I would like to propose we change branch names in our github repositories away from `master`.
Here some more pointers about this proposal.
```
Language and words have a power and,
|
By
Matteo Lissandrini (AAU)
·
#254
·
|
|
Re: Change branch name in GitHub
#communication
#project
To be completely honest, I had never before this mail associated the word “master-branch” to the master/slave relationship. But I can see some can make this association and find the name
To be completely honest, I had never before this mail associated the word “master-branch” to the master/slave relationship. But I can see some can make this association and find the name
|
By
Massimo Pizzol
·
#255
·
|
|
Re: Change branch name in GitHub
#communication
#project
Thanks for the support Massimo!
To be honest me neither, but alas the fact that *we* don't do that association is quite at the core of the matter.
As you say, it is definitely not about what we mean
Thanks for the support Massimo!
To be honest me neither, but alas the fact that *we* don't do that association is quite at the core of the matter.
As you say, it is definitely not about what we mean
|
By
Matteo Lissandrini (AAU)
·
#256
·
|
|
Re: Change branch name in GitHub
#communication
#project
I agree; I think 'main' actually is more precise (master has the connotation of dominance, irrespectively of the imperialist etymology)
I agree; I think 'main' actually is more precise (master has the connotation of dominance, irrespectively of the imperialist etymology)
|
By
Søren
·
#257
·
|
|
Re: Change branch name in GitHub
#communication
#project
Dear All,
I totally understand the reason behind the wish to change names.
Now, beware that:
> The default branch name in Git is master.
git-scm.com/book
so, every time we create a new repo, or
Dear All,
I totally understand the reason behind the wish to change names.
Now, beware that:
> The default branch name in Git is master.
git-scm.com/book
so, every time we create a new repo, or
|
By
tomas Navarrete
·
#258
·
|
|
Re: Change branch name in GitHub
#communication
#project
Hi Tomas,
I think I can reassure you on practical issues:
1) so Github is already working on this: https://twitter.com/natfriedman/status/1271253144442253312?ref_src=twsrc%5Etfw
2) the rename is
Hi Tomas,
I think I can reassure you on practical issues:
1) so Github is already working on this: https://twitter.com/natfriedman/status/1271253144442253312?ref_src=twsrc%5Etfw
2) the rename is
|
By
Matteo Lissandrini (AAU)
·
#259
·
|
|
Re: Change branch name in GitHub
#communication
#project
1)
I saw that tweet from the current CEO Of Microsoft owned GitHub, and even CDNET seems to know from "internal sources" at github that it was not just a tweet.
>
1)
I saw that tweet from the current CEO Of Microsoft owned GitHub, and even CDNET seems to know from "internal sources" at github that it was not just a tweet.
>
|
By
tomas Navarrete
·
#260
·
|