Arc Forumnew | comments | leaders | submitlogin
6 points by lojic 5744 days ago | link | parent

Given the following:

  the last release was 163 days ago, and
  the main feature was simply including news.arc
  the /leaders bug hasn't been fixed yet
I'd say that pg is having difficulty finding time to spend on Arc.


2 points by stefano 5743 days ago | link

Then the Arc community should take the lead.

-----

3 points by lojic 5738 days ago | link

So the community should take the lead, and the leader should follow the community? I have to admit that seems a bit backward to me.

Also, since pg doesn't appear to have an accepted channel for receiving contributions from the community back into the language, having the community take the lead seems to imply a fork which is less than desirable IMO.

-----

3 points by stefano 5737 days ago | link

The alternative is to keep waiting for pg to do something. Not a good option, I think.

-----

2 points by silence 5737 days ago | link

I agree. Better to make some forward progress and then merge when the next arcN comes out.

-----