Finer-grained repository access permissions (issue 36)

Implemented discrete repository access permissions to replace the
really primitive course-grained permissions used to this point.  This
implementation allows for finer-grained access control, but still
falls short of integrated, branch-based permissions sought by some.

Access permissions follow the conventions established by Gitosis and
Gitolite so they should feel immediately comfortable to experienced
users.  This permissions infrastructure is complete and works exactly as
expected.  Unfortunately, there is no ui in this commit to change
permissions, that will be forthcoming.  In the meantime, Gitblit
hot-reloads users.conf so the permissions can be manipulated at runtime
with a text editor.

The following per-repository permissions are now supported:
- V (view in web ui, RSS feeds, download zip)
- R (clone)
- RW (clone and push)
- RWC (clone and push with ref creation)
- RWD (clone and push with ref creation, deletion)
- RW+ (clone and push with ref creation, deletion, rewind)

And a users.conf entry looks something like this:

	[user "hannibal"]
		password = bossman
		repository = RWD:topsecret.git

1 files changed, 34 insertions, 1 deletions

diff --git a/src/com/gitblit/GitServlet.java b/src/com/gitblit/GitServlet.java
index 2571693d..8e2326d4 100644
--- a/src/com/gitblit/GitServlet.java
+++ b/src/com/gitblit/GitServlet.java
@@ -105,6 +105,21 @@ public class GitServlet extends org.eclipse.jgit.http.server.GitServlet {
 				ReceivePack rp = super.create(req, db);

 				rp.setPreReceiveHook(hook);

 				rp.setPostReceiveHook(hook);

+

+				// determine pushing user

+				PersonIdent person = rp.getRefLogIdent();

+				UserModel user = GitBlit.self().getUserModel(person.getName());

+				if (user == null) {

+					// anonymous push, create a temporary usermodel

+					user = new UserModel(person.getName());

+				}

+				

+				// enforce advanced ref permissions

+				RepositoryModel repository = GitBlit.self().getRepositoryModel(repositoryName);

+				rp.setAllowCreates(user.canCreateRef(repository));

+				rp.setAllowDeletes(user.canDeleteRef(repository));

+				rp.setAllowNonFastForwards(user.canRewindRef(repository));

+				

 				return rp;

 			}

 		});

@@ -209,7 +224,25 @@ public class GitServlet extends org.eclipse.jgit.http.server.GitServlet {
 			scripts.addAll(repository.postReceiveScripts);

 			UserModel user = getUserModel(rp);

 			runGroovy(repository, user, commands, rp, scripts);

-

+			for (ReceiveCommand cmd : commands) {

+				if (Result.OK.equals(cmd.getResult())) {

+					// add some logging for important ref changes

+					switch (cmd.getType()) {

+					case DELETE:

+						logger.info(MessageFormat.format("{0} DELETED {1} in {2} ({3})", user.username, cmd.getRefName(), repository.name, cmd.getOldId().name()));

+						break;

+					case CREATE:

+						logger.info(MessageFormat.format("{0} CREATED {1} in {2}", user.username, cmd.getRefName(), repository.name));

+						break;

+					case UPDATE_NONFASTFORWARD:

+						logger.info(MessageFormat.format("{0} UPDATED NON-FAST-FORWARD {1} in {2} (from {3} to {4})", user.username, cmd.getRefName(), repository.name, cmd.getOldId().name(), cmd.getNewId().name()));

+						break;

+					default:

+						break;

+					}

+				}

+			}

+			

 			// Experimental

 			// runNativeScript(rp, "hooks/post-receive", commands);

 		}