[GitHub] chrismattmann commented on issue #104: DRAT Proteus build failure on Ubuntu 16.04
chrismattmann commented on issue #104: DRAT Proteus build failure on Ubuntu 16.04 URL: https://github.com/apache/drat/issues/104#issuecomment-344319099 awesome. Can you confirm this fixed your issue @ThejanW and that it builds? This is an automated message from the Apache Git Service. To respond to the message, please log on GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: us...@infra.apache.org With regards, Apache Git Services
[GitHub] ThejanW commented on issue #104: DRAT Proteus build failure on Ubuntu 16.04
ThejanW commented on issue #104: DRAT Proteus build failure on Ubuntu 16.04 URL: https://github.com/apache/drat/issues/104#issuecomment-344315257 Oh! didn't notice that. thanks @chrismattmann :+1: This is an automated message from the Apache Git Service. To respond to the message, please log on GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: us...@infra.apache.org With regards, Apache Git Services
[GitHub] ottlinger commented on issue #98: Make website at drat.apache.org
ottlinger commented on issue #98: Make website at drat.apache.org URL: https://github.com/apache/drat/issues/98#issuecomment-344315047 Can anyone supply me with the following information about DRAT: * Twitter-handle (if existing) * Facebook-URL (if existing) * Instagram-URL (if existing) * LinkedIn-URL (if any) * Mailing list (develo...@drat.apache.org?! or us...@drat.apache.org) * Base location of the main repository - or is https://github.com/apache/drat the main repo and no ASF-repo exists at all? I want to tweak the current page before it goes live via [INFRA-15489](https://issues.apache.org/jira/browse/INFRA-15489) Thanks for your help. This is an automated message from the Apache Git Service. To respond to the message, please log on GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: us...@infra.apache.org With regards, Apache Git Services
[GitHub] chrismattmann closed pull request #106: https://github.com/apache/drat/issues/98 Fix link to statement
chrismattmann closed pull request #106: https://github.com/apache/drat/issues/98 Fix link to statement URL: https://github.com/apache/drat/pull/106 This is a PR merged from a forked repository. As GitHub hides the original diff on merge, it is displayed below for the sake of provenance: As this is a foreign pull request (from a fork), the diff is supplied below (as it won't show otherwise due to GitHub magic): diff --git a/index.html b/index.html index 7d083e9..0380f27 100644 --- a/index.html +++ b/index.html @@ -34,7 +34,7 @@ - Apache DRAT mission statement + Apache DRAT mission statement What does DRAT stand for? This is an automated message from the Apache Git Service. To respond to the message, please log on GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: us...@infra.apache.org With regards, Apache Git Services
[GitHub] ottlinger opened a new pull request #106: https://github.com/apache/drat/issues/98 Fix link to statement
ottlinger opened a new pull request #106: https://github.com/apache/drat/issues/98 Fix link to statement URL: https://github.com/apache/drat/pull/106 This is an automated message from the Apache Git Service. To respond to the message, please log on GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: us...@infra.apache.org With regards, Apache Git Services