Closed mayaCostantini closed 2 years ago
/lgtm thanks!
/assign @harshad16 for approval (I must fix #177 based on last week's discussion of owners)
/approve thanks :100:
[APPROVALNOTIFIER] This PR is APPROVED
This pull-request has been approved by: harshad16
The full list of commands accepted by this bot can be found here.
The pull request process is described here
Fixed my name to lowercase in sesheta/utils.py GITHUB_REALNAME_MAP.