aries-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From GitBox <...@apache.org>
Subject [GitHub] [aries] rmannibucau commented on pull request #109: adding comments with issue numbers.
Date Wed, 24 Jun 2020 06:34:18 GMT

rmannibucau commented on pull request #109:
URL: https://github.com/apache/aries/pull/109#issuecomment-648621810


   Have to admit i'm not an user of that but if not already supported jira plugin (https://plugins.jetbrains.com/plugin/11169-jira-integration)
sounds like a good way to get that feature quite smoothly. Will likely need some context menu/annotate
integration but it has already all you need to make it smooth.
   
   Just my 2cts indeed


----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

For queries about this service, please contact Infrastructure at:
users@infra.apache.org



Mime
View raw message