Closed BernatNicolau closed 1 month ago
The issue has been resolved here
LGTM, thanks @BernatNicolau!
Also, just FYI: it looks like your local git client is configured to make commits with a different user from the one you're using to submit PRs.
Yes, I think I fixed that yesterday 😄
remote-data
) and Milestone are assigned to the Pull Request and linked Issue.