IdP metadata config docs

[Peter Schober]

* Greg Haverkamp <gahaverkamp at lbl.gov> [2018-06-11 17:18]:
> On Mon, Jun 11, 2018 at 7:53 AM Tom Scavo <trscavo at gmail.com> wrote:
> 
> >
> > 2. Is anyone pulling metadata from a git server (such as GitHub)? If
> > so, can you briefly describe your use case?
> 
> 
> We do.
> 
> I guess the use case seems obvious to me, so hopefully I’m not being too
> pedantic.  We keep the metadata in a git repository hosted on Bitbucket.
> This allows us to hunt down errors, as well as to distribute updates
> easily.  Our IdP’s do a pull from their remotes every 15 minutes.

I think Tom meant "pulling metadata from a git server" literally,
i.e., pointing the IDP to something that's not a local file.

The fact that those local files are part of a local git checkout that
also has remotes is immaterial to Tom's question, AFAIU.

-peter