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