repo-config: remove deprecated alias for "git config"

diff --git a/argv-array.h b/argv-array.h
index e8057483afafe89fc4ee1fb29dd9c80ab8ba6c9d..85ba438ac1e877fa865e5b4d2301733735fa5d03 100644 (file)
--- a/argv-array.h
+++ b/argv-array.h
@@ -15,7 +15,7 @@ void argv_array_init(struct argv_array *);
 void argv_array_push(struct argv_array *, const char *);
 __attribute__((format (printf,2,3)))
 void argv_array_pushf(struct argv_array *, const char *fmt, ...);
-__attribute__((sentinel))
+LAST_ARG_MUST_BE_NULL
 void argv_array_pushl(struct argv_array *, ...);
 void argv_array_pop(struct argv_array *);
 void argv_array_clear(struct argv_array *);