pull requests from github

[Sergio Fernández <wi...@apache.org>]

Hi,

as you probably notices, we have received in the mailing list the 
notification of a pull request from github [1]. I requested to infra [2] 
to have this communication option from our mirror there, hoping it would 
simplify how the project receives external contributions.

For the moment the integration is just at the communication level; 
actual patches would need to be manually applied in our main repository.

I also updated the documentation of our website to point to this new 
option for contributions [3].

Cheers,

[1] http://markmail.org/message/brrhwo7tpggb2r4d
[2] https://issues.apache.org/jira/browse/INFRA-7289
[3] http://marmotta.apache.org/development.html

-- 
Sergio Fernández
Senior Researcher
Knowledge and Media Technologies
Salzburg Research Forschungsgesellschaft mbH
Jakob-Haringer-Straße 5/3 | 5020 Salzburg, Austria
T: +43 662 2288 318 | M: +43 660 2747 925
sergio.fernandez@salzburgresearch.at
http://www.salzburgresearch.at