Re: DIS: On the GitHub org

2019-07-15 Thread Jason Cobb
I assume everybody on the GitHub org got a message about me adding a key to Assessor - that's me trying to set up CI for the Assessor repo. Jason Cobb On 7/12/19 9:29 PM, Jason Cobb wrote: I see that there is a GitHub organization for Agora. As of right now, I've placed my assessor scripts at

Re: DIS: On the GitHub org

2019-07-13 Thread Jason Cobb
Just added that (also realized that I need to allow players voting on only some proposals, that's fixed, too). Jason Cobb On 7/13/19 9:51 PM, Aris Merchant wrote: You're welcome! Incidentally, could you add a feature that states the number of voters on each decision? It would be helpful info,

Re: DIS: On the GitHub org

2019-07-13 Thread Aris Merchant
You're welcome! Incidentally, could you add a feature that states the number of voters on each decision? It would be helpful info, and make it a bit easier to calculate quorum. -Aris On Fri, Jul 12, 2019 at 10:52 PM Jason Cobb wrote: > > I see. Thank you! :) > > Jason Cobb > > On 7/12/19 9:45 P

Re: DIS: On the GitHub org

2019-07-12 Thread Kerim Aydin
That reminds me, just as an FYI to everyone, the Agoranomic 'cases' archive is kept within a commit of the CFJ website, if anyone ever needs or wants a full backup (I can't make Agoranomic the main host address because github pages doesn't do php). -G. On 7/12/2019 7:45 PM, Aris Merchant wrote

Re: DIS: On the GitHub org

2019-07-12 Thread Rebecca
I've never coded a day in my life, so no GitHub for my offices ever, I'm afraid. On Sat, Jul 13, 2019 at 12:46 PM Jason Cobb wrote: > I see. Thank you! :) > > Jason Cobb > > On 7/12/19 9:45 PM, Aris Merchant wrote: > > We do trust you, and it would be great to keep Agoran stuff consolidated. >

Re: DIS: On the GitHub org

2019-07-12 Thread Jason Cobb
I see. Thank you! :) Jason Cobb On 7/12/19 9:45 PM, Aris Merchant wrote: We do trust you, and it would be great to keep Agoran stuff consolidated. We don’t worry much about adding people as members to the org. In fact, I just invited you. :) -Aris On Fri, Jul 12, 2019 at 10:32 PM Jason Cobb

Re: DIS: On the GitHub org

2019-07-12 Thread Aris Merchant
We do trust you, and it would be great to keep Agoran stuff consolidated. We don’t worry much about adding people as members to the org. In fact, I just invited you. :) -Aris On Fri, Jul 12, 2019 at 10:32 PM Jason Cobb wrote: > Clarification: I would need at least collaborator status on the Ass

Re: DIS: On the GitHub org

2019-07-12 Thread Jason Cobb
Clarification: I would need at least collaborator status on the Assessor repo (which I assume is what Falsifian has on the Registrar/Treasuror repos), not member access to the entire org. Jason Cobb On 7/12/19 9:29 PM, Jason Cobb wrote: I see that there is a GitHub organization for Agora. As o

DIS: On the GitHub org

2019-07-12 Thread Jason Cobb
I see that there is a GitHub organization for Agora. As of right now, I've placed my assessor scripts at [0]. I see that there is already an (empty) Assessor repo. I could move everything there if people want me to, although I would need access. If people don't trust me yet, that's fine (I hone