I *think* you can just ask for write access

On Mon, 12 Nov 2018 at 12:11, Niccolò Granieri <granieriniccolo@gmail.com> wrote:
I will add a README file to the repo that will better explain how to obtain the compiled pdf files without necessarily adding them to the repo.

Ultimately it would be nice to replace the obsolete version of the pdf from the puredata.info site as well. So if anyone knows who has admin access to that site, please get in touch.

Thanks for the feedback,

Niccolò Granieri | PhD Student @ Integra Lab | niccologranieri.com
Royal Birmingham Conservatoire | Birmingham City University | B4 7XG

On 10 Nov 2018, at 19:51, Orm Finnendahl <orm.finnendahl@selma.hfmdk-frankfurt.de> wrote:

Hey IOhannes,

Am Samstag, den 10. November 2018 um 19:28:44 Uhr (+0100) schrieb
IOhannes m zmoelnig:
a repository is for source code.  it is *not* the place to download
binaries from. for this you have "release pages" or whatever.

Git repositories have proven useful for all kinds of purposes, often
far beyond their intended use and I'd recommend a more relaxed
attitude.

so the proper solution is to direct the end users to the proper
place to get the built-data.

I agree. We probably just disagree about the matter what qualifies a
place to be proper. I would argue that this has changed drastically in
the last 10 years and putting useful documents to github isn't such a
bad idea.

--
Orm




_______________________________________________
Pd-dev mailing list
Pd-dev@lists.iem.at
https://lists.puredata.info/listinfo/pd-dev

_______________________________________________
Pd-dev mailing list
Pd-dev@lists.iem.at
https://lists.puredata.info/listinfo/pd-dev