Hi,

Is there any policy for pushing commits to the Worg Git repository?  I 
fixed the GitHub paths in file org-outside-org.org, as per the patch 
attached to this message and would like to contribute it.

Best,

Rafael