Hi, I'm going on vacation today and I did not have time to merge this. If someone wants to merge it, please do so, otherwise I'll merge it when I return in Jan. Happy Holidays to everyone!
Adina On Thu, Dec 15, 2016 at 2:39 PM, Josh Elser <[email protected]> wrote: One little trick, if you name your pull request starting with the JIRA identifier, "RYA-228", the PR will get automatically linked on the JIRA issue :) The change LGTM John Smith wrote: Jira issue created https://issues.apache.org/jira/browse/RYA-228 Pull request https://github.com/apache/incubator-rya-site/pull/1 Does this look proper? ---------- Forwarded message ---------- From: Puja Valiyil<[email protected]> Date: Wed, Dec 14, 2016 at 11:41 AM Subject: Re: Do i need a jira ticket for changes to the Rya web site? To: [email protected] I think a jira ticket and then add Adina as a watcher. She knows the process for updating (I'm not sure everyone has permissions but I might be wrong). Sent from my iPhone On Dec 14, 2016, at 2:25 PM, John Smith<[email protected]> wrote: There is a broken link on the Rya web site and I'd like to push a fix for it. How do I do this? Do i need to create a jira ticker or is that just for source code changes? How do I submit a pull request for website changes? -- Dr. Adina Crainiceanu Associate Professor, Computer Science Department United States Naval Academy 410-293-6822 [email protected] http://www.usna.edu/Users/cs/adina/
