Github pull requests

Just wondering what people do for pull requests (PR) in github for MPS.  Is the PR branch just pulled into MPS and reviewed or does MPS have special handling for pull requests? I guess it would be hard use githubs commenting feature to point to specific portion of code to comment, etc?

Official comment


You can just submit github pull request and the change will be reviewed / merged into the code by one of MPS developers.

I think the original question was getting at how do reviewers get to see the DSL language rendered view of the model given that what is checked into git isn't a human readable format.  I have the same question.  Do reviewers need to upload the MPS model into MPS to see it, but then where do they place comments...?


Please sign in to leave a comment.