| Did you know ... | Search Documentation: |
 | gitweb.pl -- Provide gitweb support |
- HOME
- DOWNLOAD
- DOCUMENTATION
- TUTORIALS
- Beginner▶
- Advanced▶
- Web applications▶
- Semantic web▶
- Graphics▶
- Machine learning▶
- External collections▶
- For packagers▶
- COMMUNITY
- COMMERCIAL
- WIKI
- gitroot(+Request) is det[private]
- Some toplevel requests are send to /git, while working inside the repository asks for /git/. This is a hack to work around these problems.
- gitweb(+Request)[private]
- Call gitweb script
- git_http(+Request) is det[private]
- Server files from the git tree to make this work:
git clone http://www.swi-prolog.org/nl/home/pl/git/pl.git
The comment "git http-backend" does not provide much meaningful info when accessed from a browser. Therefore we run "git http-backend" only if w think this the request comes from a git backend. Otherwise we redirect to the gitweb page.