refs: remove the extra_refs API
commitcf6672edb1eb90ef7f79d37eca08c93a662802a8
authorMichael Haggerty <mhagger@alum.mit.edu>
Sat, 11 Feb 2012 06:21:01 +0000 (11 07:21 +0100)
committerJunio C Hamano <gitster@pobox.com>
Mon, 13 Feb 2012 03:50:39 +0000 (12 19:50 -0800)
treeacf89046c371638ab9ef525979cd35a8a68289fd
parenta1287f7540d2a27fcde26b356dc176c5dbb4f4e2
refs: remove the extra_refs API

The extra_refs provided a kludgy way to create fake references at a
global level in the hope that they would only affect some particular
code path.  The last user of this API been rewritten, so strip this
stuff out before somebody else gets the bad idea of using it.

Signed-off-by: Michael Haggerty <mhagger@alum.mit.edu>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
refs.c
refs.h