- From: Pierre van Houtryve <pierre.vanhoutryve@gmail.com>
- Date: Thu, 5 Jul 2018 14:25:42 +0200
- To: public-perma-id@w3.org
Received on Thursday, 5 July 2018 15:34:48 UTC
Hello, We're a group of developers tasked with making a tool to automate pull requests on the github repo of w3id.org (The requests must still be triggered manually by the user, but we handle the interaction with GitHub. Our job is to make it user-friendly and add features such as import from csv) Before we begin our project, we need to ask you a few question. First of all, would you accept theses pull requests? The pull requests would come from the GitHub account of the user, but the body/content of the pull request would be computer generated. Also, is there a limit to the size of the .htaccess file, or can they get as big as the client needs them to be (10-20k lines maybe) ? Thank you, The Resolver team of Open Summer of Code 2018.
Received on Thursday, 5 July 2018 15:34:48 UTC