Commit 461cb921 authored by Paul Eggert's avatar Paul Eggert

* CONTRIBUTE: Split git configuration from fetch-and-build

parent 2be225c3
Pipeline #1801 failed with stage
in 53 minutes and 17 seconds