Learn more about these different git repos.
Other Git URLs
No commits found
Update the server howto doc to describe the "compile/*" Kerberos user principal.
Commit d327d6b fixes this pull-request
Pull-Request has been merged by tkopecek
Update the server howto doc to describe the "compile/*" Kerberos user principal.