[Checkers] Fwd: Re: Java type annotations (JSR 308) and Eclipse

[Michael Ernst]

Igor-

I realize that this email message fell through the cracks.  Sorry about
that.

> Frankly, I'm not sure exactly what the mechanics are for commiting
> to the repository...  Namely, what exactly should I commit?
> 
> The changes I'm making are based on the JDT 3.5 code.  So, should
> I first commit the unchanged 3.5 code, and then make changes?  Or
> should I commit the current version, and have everyone diff with
> the official repository (in which case I'd need to also commit a
> date tag, and keep updating it)?
> 
> Do we want the code in the repository buildable on its own?  Or
> should it only contain the changed files, and be buildable only
> with a copy of the JDT repository in the same workspace?
> 
> Let's make the decisions on this, and then I can start committing.

These are good questions.  I believe that my opinions are less informed
than yours, so I would be perfectly open to whatever you think is most
sensible/useful.  I've also copied this message to the checkers mailing
list in case anyone there has an opinion.

Thanks!

                    -Mike