We should not create duplicate merge proposals when there is one already from the community that is doing the same thing :-)
Here we already have a branch from Guewen, it's simpler to directly merge it if we want to credit him fully, rather than trying to do the work again and commit using --author. I will merge Guewen's branch to close the bug.
Hello Amit,
We should not create duplicate merge proposals when there is one already from the community that is doing the same thing :-)
Here we already have a branch from Guewen, it's simpler to directly merge it if we want to credit him fully, rather than trying to do the work again and commit using --author. I will merge Guewen's branch to close the bug.
Thanks!