- From: Raphael Kubo da Costa via GitHub <sysbot+gh@w3.org>
- Date: Tue, 14 Nov 2023 08:20:46 +0000
- To: public-geolocation@w3.org
> @rakuco, when updating a PR please don't use a force push as it breaks the relationship between the original changes and the updated changes. Sorry. I think this was a problem specific to this PR, as I'd sent it targeting the branch I'd created for #120 since I needed those changes, and when it was merged with some suggested changes GitHub got confused. -- GitHub Notification of comment by rakuco Please view or discuss this issue at https://github.com/w3c/deviceorientation/pull/121#issuecomment-1809731777 using your GitHub account -- Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config
Received on Tuesday, 14 November 2023 08:20:48 UTC