[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


----- Ursprungligt meddelande -----
> 
> 
> 
> I was testing the waters. I agree JGit gains nothing. This wold be
> for downstream use.
> 
> What I was proposing was something like this:
> 
> 
> FileResolver.open(C req, String name) {
> 
> ...
> 
> db = RepositoryCache.open(key, true);
> 
> db.setName(name);
> ...
> 
> }
> 
> "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.

I think the normalization we do is a mistake. We're overdoing it.

-- robin