Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [jgit-dev] public Repository class, internal FileRepository class, and Name/Identity

I was testing the waters.  I agree JGit gains nothing.  This wold be for downstream use.
What I was proposing was something like this: req, String name) {
  db =, true);
"Name" is a repo name relative to the served base folder.  It might be a symlink.  When we pass Repository around to different parts of a server app it would be convenient to have the originally requested name, not just the filesystem location which is all we have now.  Obviously there are workarounds, alternatives, etc.  But none as convenient/clean as having that name preserved and not discarded in the first place.


Back to the top