Re: git.postgresql.org not finding a commit

Jim Nasby wrote:
> Details below, but
http://git.postgresql.org/gitweb/?p=postgresql.git&a=search&h=HEAD&st=commit&s=0ac5ad5134f2769ccbaefec73844f8504c4d6182
showsnothing, but that commit does exist:
 
> 
> decibel@decina:[15:12]~/pgsql/HEAD/src/backend (master=)$git log 0ac5ad5134f2769ccbaefec73844f8504c4d6182|head -n1
> commit 0ac5ad5134f2769ccbaefec73844f8504c4d6182
> 
> Our github mirror doesn't show that commit in it's search either :(

No idea what "search" does, but it doesn't work on a commit ID.  This
works:
http://git.postgresql.org/gitweb/?p=postgresql.git;a=commitdiff;h=0ac5ad5134f2769ccbaefec73844f8504c4d6182

-- 
Álvaro Herrera                http://www.2ndQuadrant.com/
PostgreSQL Development, 24x7 Support, Training & Services