On Sep 4, 2014, at 9:12 AM, Satish Balay <[email protected]> wrote:

> how about 'petsc-dev' mailing list?

  :-) Though that could be slightly confusing it is just the petsc developers 
mailing list and distinct from “petsc-dev” which means some mystical repository 
somewhere (what branch?) that does need to be eradicated from our vocabulary.

  Barry

Note the email we just got: 

I'm trying to build petsc-dev and it's failing on configuring Zoltan. I've 
attached the configure.log

Thanks,
John


  I have not clue what branch John is talking about.


> 
> satish
> 
> On Thu, 4 Sep 2014, Barry Smith wrote:
> 
>> 
>>  PETSc developers
>> 
>>  Please get rid of that damn confusing repository 
>> https://bitbucket.org/petsc/petsc-dev now before someone else gets confused. 
>> And stop using the term petsc-dev to refer to any PETSc repository!  Why do 
>> we insist on making our already complicated jobs even more complicated by 
>> leaving silly things hanging around?
>> 
>>   Thanks
>> 
>> 
>> 
> 

Reply via email to