You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Something that we implemented in our project was to query the github API in order to build a nice RST( or Markdown) list of issues with hyperlinks to the issues in question. It's not too painful to pull all issues associated with a milestone: https://github.com/CoolProp/CoolProp/blob/master/dev/scripts/milestone2rst.py
The text was updated successfully, but these errors were encountered:
@ianhbell, thanks for the code snippet. Since we have so many open issues right now that we haven't fixed, I'll just close this, but I'll remember to look it if we need to do some GitHub API interactions for one reason or another. Thanks
Something that we implemented in our project was to query the github API in order to build a nice RST( or Markdown) list of issues with hyperlinks to the issues in question. It's not too painful to pull all issues associated with a milestone: https://github.com/CoolProp/CoolProp/blob/master/dev/scripts/milestone2rst.py
The text was updated successfully, but these errors were encountered: