Documentation / technical / http-protocol.txton commit fetch-pack.c: use oidset to check existence of loose object (024aa46)
   1HTTP transfer protocols
   2=======================
   3
   4Git supports two HTTP based transfer protocols.  A "dumb" protocol
   5which requires only a standard HTTP server on the server end of the
   6connection, and a "smart" protocol which requires a Git aware CGI
   7(or server module).  This document describes both protocols.
   8
   9As a design feature smart clients can automatically upgrade "dumb"
  10protocol URLs to smart URLs.  This permits all users to have the
  11same published URL, and the peers automatically select the most
  12efficient transport available to them.
  13
  14
  15URL Format
  16----------
  17
  18URLs for Git repositories accessed by HTTP use the standard HTTP
  19URL syntax documented by RFC 1738, so they are of the form:
  20
  21  http://<host>:<port>/<path>?<searchpart>
  22
  23Within this documentation the placeholder `$GIT_URL` will stand for
  24the http:// repository URL entered by the end-user.
  25
  26Servers SHOULD handle all requests to locations matching `$GIT_URL`, as
  27both the "smart" and "dumb" HTTP protocols used by Git operate
  28by appending additional path components onto the end of the user
  29supplied `$GIT_URL` string.
  30
  31An example of a dumb client requesting for a loose object:
  32
  33  $GIT_URL:     http://example.com:8080/git/repo.git
  34  URL request:  http://example.com:8080/git/repo.git/objects/d0/49f6c27a2244e12041955e262a404c7faba355
  35
  36An example of a smart request to a catch-all gateway:
  37
  38  $GIT_URL:     http://example.com/daemon.cgi?svc=git&q=
  39  URL request:  http://example.com/daemon.cgi?svc=git&q=/info/refs&service=git-receive-pack
  40
  41An example of a request to a submodule:
  42
  43  $GIT_URL:     http://example.com/git/repo.git/path/submodule.git
  44  URL request:  http://example.com/git/repo.git/path/submodule.git/info/refs
  45
  46Clients MUST strip a trailing `/`, if present, from the user supplied
  47`$GIT_URL` string to prevent empty path tokens (`//`) from appearing
  48in any URL sent to a server.  Compatible clients MUST expand
  49`$GIT_URL/info/refs` as `foo/info/refs` and not `foo//info/refs`.
  50
  51
  52Authentication
  53--------------
  54
  55Standard HTTP authentication is used if authentication is required
  56to access a repository, and MAY be configured and enforced by the
  57HTTP server software.
  58
  59Because Git repositories are accessed by standard path components
  60server administrators MAY use directory based permissions within
  61their HTTP server to control repository access.
  62
  63Clients SHOULD support Basic authentication as described by RFC 2617.
  64Servers SHOULD support Basic authentication by relying upon the
  65HTTP server placed in front of the Git server software.
  66
  67Servers SHOULD NOT require HTTP cookies for the purposes of
  68authentication or access control.
  69
  70Clients and servers MAY support other common forms of HTTP based
  71authentication, such as Digest authentication.
  72
  73
  74SSL
  75---
  76
  77Clients and servers SHOULD support SSL, particularly to protect
  78passwords when relying on Basic HTTP authentication.
  79
  80
  81Session State
  82-------------
  83
  84The Git over HTTP protocol (much like HTTP itself) is stateless
  85from the perspective of the HTTP server side.  All state MUST be
  86retained and managed by the client process.  This permits simple
  87round-robin load-balancing on the server side, without needing to
  88worry about state management.
  89
  90Clients MUST NOT require state management on the server side in
  91order to function correctly.
  92
  93Servers MUST NOT require HTTP cookies in order to function correctly.
  94Clients MAY store and forward HTTP cookies during request processing
  95as described by RFC 2616 (HTTP/1.1).  Servers SHOULD ignore any
  96cookies sent by a client.
  97
  98
  99General Request Processing
 100--------------------------
 101
 102Except where noted, all standard HTTP behavior SHOULD be assumed
 103by both client and server.  This includes (but is not necessarily
 104limited to):
 105
 106If there is no repository at `$GIT_URL`, or the resource pointed to by a
 107location matching `$GIT_URL` does not exist, the server MUST NOT respond
 108with `200 OK` response.  A server SHOULD respond with
 109`404 Not Found`, `410 Gone`, or any other suitable HTTP status code
 110which does not imply the resource exists as requested.
 111
 112If there is a repository at `$GIT_URL`, but access is not currently
 113permitted, the server MUST respond with the `403 Forbidden` HTTP
 114status code.
 115
 116Servers SHOULD support both HTTP 1.0 and HTTP 1.1.
 117Servers SHOULD support chunked encoding for both request and response
 118bodies.
 119
 120Clients SHOULD support both HTTP 1.0 and HTTP 1.1.
 121Clients SHOULD support chunked encoding for both request and response
 122bodies.
 123
 124Servers MAY return ETag and/or Last-Modified headers.
 125
 126Clients MAY revalidate cached entities by including If-Modified-Since
 127and/or If-None-Match request headers.
 128
 129Servers MAY return `304 Not Modified` if the relevant headers appear
 130in the request and the entity has not changed.  Clients MUST treat
 131`304 Not Modified` identical to `200 OK` by reusing the cached entity.
 132
 133Clients MAY reuse a cached entity without revalidation if the
 134Cache-Control and/or Expires header permits caching.  Clients and
 135servers MUST follow RFC 2616 for cache controls.
 136
 137
 138Discovering References
 139----------------------
 140
 141All HTTP clients MUST begin either a fetch or a push exchange by
 142discovering the references available on the remote repository.
 143
 144Dumb Clients
 145~~~~~~~~~~~~
 146
 147HTTP clients that only support the "dumb" protocol MUST discover
 148references by making a request for the special info/refs file of
 149the repository.
 150
 151Dumb HTTP clients MUST make a `GET` request to `$GIT_URL/info/refs`,
 152without any search/query parameters.
 153
 154   C: GET $GIT_URL/info/refs HTTP/1.0
 155
 156   S: 200 OK
 157   S:
 158   S: 95dcfa3633004da0049d3d0fa03f80589cbcaf31  refs/heads/maint
 159   S: d049f6c27a2244e12041955e262a404c7faba355  refs/heads/master
 160   S: 2cb58b79488a98d2721cea644875a8dd0026b115  refs/tags/v1.0
 161   S: a3c2e2402b99163d1d59756e5f207ae21cccba4c  refs/tags/v1.0^{}
 162
 163The Content-Type of the returned info/refs entity SHOULD be
 164`text/plain; charset=utf-8`, but MAY be any content type.
 165Clients MUST NOT attempt to validate the returned Content-Type.
 166Dumb servers MUST NOT return a return type starting with
 167`application/x-git-`.
 168
 169Cache-Control headers MAY be returned to disable caching of the
 170returned entity.
 171
 172When examining the response clients SHOULD only examine the HTTP
 173status code.  Valid responses are `200 OK`, or `304 Not Modified`.
 174
 175The returned content is a UNIX formatted text file describing
 176each ref and its known value.  The file SHOULD be sorted by name
 177according to the C locale ordering.  The file SHOULD NOT include
 178the default ref named `HEAD`.
 179
 180  info_refs   =  *( ref_record )
 181  ref_record  =  any_ref / peeled_ref
 182
 183  any_ref     =  obj-id HTAB refname LF
 184  peeled_ref  =  obj-id HTAB refname LF
 185                 obj-id HTAB refname "^{}" LF
 186
 187Smart Clients
 188~~~~~~~~~~~~~
 189
 190HTTP clients that support the "smart" protocol (or both the
 191"smart" and "dumb" protocols) MUST discover references by making
 192a parameterized request for the info/refs file of the repository.
 193
 194The request MUST contain exactly one query parameter,
 195`service=$servicename`, where `$servicename` MUST be the service
 196name the client wishes to contact to complete the operation.
 197The request MUST NOT contain additional query parameters.
 198
 199   C: GET $GIT_URL/info/refs?service=git-upload-pack HTTP/1.0
 200
 201dumb server reply:
 202
 203   S: 200 OK
 204   S:
 205   S: 95dcfa3633004da0049d3d0fa03f80589cbcaf31  refs/heads/maint
 206   S: d049f6c27a2244e12041955e262a404c7faba355  refs/heads/master
 207   S: 2cb58b79488a98d2721cea644875a8dd0026b115  refs/tags/v1.0
 208   S: a3c2e2402b99163d1d59756e5f207ae21cccba4c  refs/tags/v1.0^{}
 209
 210smart server reply:
 211
 212   S: 200 OK
 213   S: Content-Type: application/x-git-upload-pack-advertisement
 214   S: Cache-Control: no-cache
 215   S:
 216   S: 001e# service=git-upload-pack\n
 217   S: 004895dcfa3633004da0049d3d0fa03f80589cbcaf31 refs/heads/maint\0multi_ack\n
 218   S: 0042d049f6c27a2244e12041955e262a404c7faba355 refs/heads/master\n
 219   S: 003c2cb58b79488a98d2721cea644875a8dd0026b115 refs/tags/v1.0\n
 220   S: 003fa3c2e2402b99163d1d59756e5f207ae21cccba4c refs/tags/v1.0^{}\n
 221
 222The client may send Extra Parameters (see
 223Documentation/technical/pack-protocol.txt) as a colon-separated string
 224in the Git-Protocol HTTP header.
 225
 226Dumb Server Response
 227^^^^^^^^^^^^^^^^^^^^
 228Dumb servers MUST respond with the dumb server reply format.
 229
 230See the prior section under dumb clients for a more detailed
 231description of the dumb server response.
 232
 233Smart Server Response
 234^^^^^^^^^^^^^^^^^^^^^
 235If the server does not recognize the requested service name, or the
 236requested service name has been disabled by the server administrator,
 237the server MUST respond with the `403 Forbidden` HTTP status code.
 238
 239Otherwise, smart servers MUST respond with the smart server reply
 240format for the requested service name.
 241
 242Cache-Control headers SHOULD be used to disable caching of the
 243returned entity.
 244
 245The Content-Type MUST be `application/x-$servicename-advertisement`.
 246Clients SHOULD fall back to the dumb protocol if another content
 247type is returned.  When falling back to the dumb protocol clients
 248SHOULD NOT make an additional request to `$GIT_URL/info/refs`, but
 249instead SHOULD use the response already in hand.  Clients MUST NOT
 250continue if they do not support the dumb protocol.
 251
 252Clients MUST validate the status code is either `200 OK` or
 253`304 Not Modified`.
 254
 255Clients MUST validate the first five bytes of the response entity
 256matches the regex `^[0-9a-f]{4}#`.  If this test fails, clients
 257MUST NOT continue.
 258
 259Clients MUST parse the entire response as a sequence of pkt-line
 260records.
 261
 262Clients MUST verify the first pkt-line is `# service=$servicename`.
 263Servers MUST set $servicename to be the request parameter value.
 264Servers SHOULD include an LF at the end of this line.
 265Clients MUST ignore an LF at the end of the line.
 266
 267Servers MUST terminate the response with the magic `0000` end
 268pkt-line marker.
 269
 270The returned response is a pkt-line stream describing each ref and
 271its known value.  The stream SHOULD be sorted by name according to
 272the C locale ordering.  The stream SHOULD include the default ref
 273named `HEAD` as the first ref.  The stream MUST include capability
 274declarations behind a NUL on the first ref.
 275
 276The returned response contains "version 1" if "version=1" was sent as an
 277Extra Parameter.
 278
 279  smart_reply     =  PKT-LINE("# service=$servicename" LF)
 280                     *1("version 1")
 281                     ref_list
 282                     "0000"
 283  ref_list        =  empty_list / non_empty_list
 284
 285  empty_list      =  PKT-LINE(zero-id SP "capabilities^{}" NUL cap-list LF)
 286
 287  non_empty_list  =  PKT-LINE(obj-id SP name NUL cap_list LF)
 288                     *ref_record
 289
 290  cap-list        =  capability *(SP capability)
 291  capability      =  1*(LC_ALPHA / DIGIT / "-" / "_")
 292  LC_ALPHA        =  %x61-7A
 293
 294  ref_record      =  any_ref / peeled_ref
 295  any_ref         =  PKT-LINE(obj-id SP name LF)
 296  peeled_ref      =  PKT-LINE(obj-id SP name LF)
 297                     PKT-LINE(obj-id SP name "^{}" LF
 298
 299
 300Smart Service git-upload-pack
 301------------------------------
 302This service reads from the repository pointed to by `$GIT_URL`.
 303
 304Clients MUST first perform ref discovery with
 305`$GIT_URL/info/refs?service=git-upload-pack`.
 306
 307   C: POST $GIT_URL/git-upload-pack HTTP/1.0
 308   C: Content-Type: application/x-git-upload-pack-request
 309   C:
 310   C: 0032want 0a53e9ddeaddad63ad106860237bbf53411d11a7\n
 311   C: 0032have 441b40d833fdfa93eb2908e52742248faf0ee993\n
 312   C: 0000
 313
 314   S: 200 OK
 315   S: Content-Type: application/x-git-upload-pack-result
 316   S: Cache-Control: no-cache
 317   S:
 318   S: ....ACK %s, continue
 319   S: ....NAK
 320
 321Clients MUST NOT reuse or revalidate a cached response.
 322Servers MUST include sufficient Cache-Control headers
 323to prevent caching of the response.
 324
 325Servers SHOULD support all capabilities defined here.
 326
 327Clients MUST send at least one "want" command in the request body.
 328Clients MUST NOT reference an id in a "want" command which did not
 329appear in the response obtained through ref discovery unless the
 330server advertises capability `allow-tip-sha1-in-want` or
 331`allow-reachable-sha1-in-want`.
 332
 333  compute_request   =  want_list
 334                       have_list
 335                       request_end
 336  request_end       =  "0000" / "done"
 337
 338  want_list         =  PKT-LINE(want NUL cap_list LF)
 339                       *(want_pkt)
 340  want_pkt          =  PKT-LINE(want LF)
 341  want              =  "want" SP id
 342  cap_list          =  *(SP capability) SP
 343
 344  have_list         =  *PKT-LINE("have" SP id LF)
 345
 346TODO: Document this further.
 347
 348The Negotiation Algorithm
 349~~~~~~~~~~~~~~~~~~~~~~~~~
 350The computation to select the minimal pack proceeds as follows
 351(C = client, S = server):
 352
 353'init step:'
 354
 355C: Use ref discovery to obtain the advertised refs.
 356
 357C: Place any object seen into set `advertised`.
 358
 359C: Build an empty set, `common`, to hold the objects that are later
 360   determined to be on both ends.
 361
 362C: Build a set, `want`, of the objects from `advertised` the client
 363   wants to fetch, based on what it saw during ref discovery.
 364
 365C: Start a queue, `c_pending`, ordered by commit time (popping newest
 366   first).  Add all client refs.  When a commit is popped from
 367   the queue its parents SHOULD be automatically inserted back.
 368   Commits MUST only enter the queue once.
 369
 370'one compute step:'
 371
 372C: Send one `$GIT_URL/git-upload-pack` request:
 373
 374   C: 0032want <want #1>...............................
 375   C: 0032want <want #2>...............................
 376   ....
 377   C: 0032have <common #1>.............................
 378   C: 0032have <common #2>.............................
 379   ....
 380   C: 0032have <have #1>...............................
 381   C: 0032have <have #2>...............................
 382   ....
 383   C: 0000
 384
 385The stream is organized into "commands", with each command
 386appearing by itself in a pkt-line.  Within a command line,
 387the text leading up to the first space is the command name,
 388and the remainder of the line to the first LF is the value.
 389Command lines are terminated with an LF as the last byte of
 390the pkt-line value.
 391
 392Commands MUST appear in the following order, if they appear
 393at all in the request stream:
 394
 395* "want"
 396* "have"
 397
 398The stream is terminated by a pkt-line flush (`0000`).
 399
 400A single "want" or "have" command MUST have one hex formatted
 401SHA-1 as its value.  Multiple SHA-1s MUST be sent by sending
 402multiple commands.
 403
 404The `have` list is created by popping the first 32 commits
 405from `c_pending`.  Less can be supplied if `c_pending` empties.
 406
 407If the client has sent 256 "have" commits and has not yet
 408received one of those back from `s_common`, or the client has
 409emptied `c_pending` it SHOULD include a "done" command to let
 410the server know it won't proceed:
 411
 412   C: 0009done
 413
 414S: Parse the git-upload-pack request:
 415
 416Verify all objects in `want` are directly reachable from refs.
 417
 418The server MAY walk backwards through history or through
 419the reflog to permit slightly stale requests.
 420
 421If no "want" objects are received, send an error:
 422TODO: Define error if no "want" lines are requested.
 423
 424If any "want" object is not reachable, send an error:
 425TODO: Define error if an invalid "want" is requested.
 426
 427Create an empty list, `s_common`.
 428
 429If "have" was sent:
 430
 431Loop through the objects in the order supplied by the client.
 432
 433For each object, if the server has the object reachable from
 434a ref, add it to `s_common`.  If a commit is added to `s_common`,
 435do not add any ancestors, even if they also appear in `have`.
 436
 437S: Send the git-upload-pack response:
 438
 439If the server has found a closed set of objects to pack or the
 440request ends with "done", it replies with the pack.
 441TODO: Document the pack based response
 442
 443   S: PACK...
 444
 445The returned stream is the side-band-64k protocol supported
 446by the git-upload-pack service, and the pack is embedded into
 447stream 1.  Progress messages from the server side MAY appear
 448in stream 2.
 449
 450Here a "closed set of objects" is defined to have at least
 451one path from every "want" to at least one "common" object.
 452
 453If the server needs more information, it replies with a
 454status continue response:
 455TODO: Document the non-pack response
 456
 457C: Parse the upload-pack response:
 458   TODO: Document parsing response
 459
 460'Do another compute step.'
 461
 462
 463Smart Service git-receive-pack
 464------------------------------
 465This service reads from the repository pointed to by `$GIT_URL`.
 466
 467Clients MUST first perform ref discovery with
 468`$GIT_URL/info/refs?service=git-receive-pack`.
 469
 470   C: POST $GIT_URL/git-receive-pack HTTP/1.0
 471   C: Content-Type: application/x-git-receive-pack-request
 472   C:
 473   C: ....0a53e9ddeaddad63ad106860237bbf53411d11a7 441b40d833fdfa93eb2908e52742248faf0ee993 refs/heads/maint\0 report-status
 474   C: 0000
 475   C: PACK....
 476
 477   S: 200 OK
 478   S: Content-Type: application/x-git-receive-pack-result
 479   S: Cache-Control: no-cache
 480   S:
 481   S: ....
 482
 483Clients MUST NOT reuse or revalidate a cached response.
 484Servers MUST include sufficient Cache-Control headers
 485to prevent caching of the response.
 486
 487Servers SHOULD support all capabilities defined here.
 488
 489Clients MUST send at least one command in the request body.
 490Within the command portion of the request body clients SHOULD send
 491the id obtained through ref discovery as old_id.
 492
 493  update_request  =  command_list
 494                     "PACK" <binary data>
 495
 496  command_list    =  PKT-LINE(command NUL cap_list LF)
 497                     *(command_pkt)
 498  command_pkt     =  PKT-LINE(command LF)
 499  cap_list        =  *(SP capability) SP
 500
 501  command         =  create / delete / update
 502  create          =  zero-id SP new_id SP name
 503  delete          =  old_id SP zero-id SP name
 504  update          =  old_id SP new_id SP name
 505
 506TODO: Document this further.
 507
 508
 509References
 510----------
 511
 512http://www.ietf.org/rfc/rfc1738.txt[RFC 1738: Uniform Resource Locators (URL)]
 513http://www.ietf.org/rfc/rfc2616.txt[RFC 2616: Hypertext Transfer Protocol -- HTTP/1.1]
 514link:technical/pack-protocol.html
 515link:technical/protocol-capabilities.html