Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [jgit-dev] Committing generated code?

On Thu, May 5, 2011 at 2:45 PM, Shawn Pearce <spearce@xxxxxxxxxxx> wrote:
> The question is, should JGit commit the generated source file
> ( in our repository, or should we require contributors
> and build servers to download and install protoc on their systems?

+1 for committing the generated source file. It would be a greater
barrier for people building from source imho

Let's just document what is done and that's it.


Chris Aniszczyk
+1 512 961 6719

Back to the top