sorry, it seems I didn't understand how to create a PR for just my last commit. so we have 3 commits in 2 PRs. Now I think I understood what went wrong and it wont happen in the future =)
anyway, those "duplicate" commits should pose no problem to merge I hope.
sorry, it seems I didn't understand how to create a PR for just my last commit. so we have 3 commits in 2 PRs. Now I think I understood what went wrong and it wont happen in the future =) anyway, those "duplicate" commits should pose no problem to merge I hope.