just to update you before I leave:
- I’ve squashed based on upstream/master (your master)
- I’ve tried to push it to my remote origin, but had to pull it first. This means that I have now a new commit — merge — that appears in the pull request. is this an issue?
On Monday, let me know if this works for you.