Closed ezequielpereira closed 5 years ago
@ezequielpereira Kindly update your commit message as well. It should not mention that it is/was a GCI task, since that is irrelevant information for other developers.
Reference: Guide on Making Commits
As @ezequielpereira has not replied, they may not be available. Anyone else can take over.
Unlike usual case, this pull request is not anchored to a branch, and there is no fork in https://github.com/ezequielpereira so we can't push commits to it.
So anyone else can grab this commits by @ezequielpereira;
git fetch origin pull/11/head
then cherry-pick to rebase 69ebc4f, make changes to commit message and files, and make a new pull request. Only then should we close this pull request.
Stale. Closing