<p></p>
<p dir="auto"><a class="user-mention" data-hovercard-type="user" data-hovercard-url="/users/xiota/hovercard" data-octo-click="hovercard-link-click" data-octo-dimensions="link_type:self" href="https://github.com/xiota">@xiota</a> just a warning, every time you force push you are likely to break the copy others are using for testing your changes, which is likely to annoy them.</p>
<p dir="auto">Just normal push should work almost all the time.  If you think you need to force push, think what you might have done wrong.</p>
<p dir="auto">There is no need for PRs to branch from git HEAD, and nice github will flag any conflicts between your changes and changes in the main branch that happened after you branched.</p>
<p dir="auto">PS The travis failure isn't you, geany_lua is broken and that stops the build.  Probably the build should be fixed one day to continue to other plugins even if one fails.</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />You are receiving this because you are subscribed to this thread.<br />Reply to this email directly, <a href="https://github.com/geany/geany-plugins/pull/1126#issuecomment-964681160">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AAIOWJ2YRP64QWUYXJRLXQTULG7FPANCNFSM5GTVPZ4Q">unsubscribe</a>.<br />Triage notifications on the go with GitHub Mobile for <a href="https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675">iOS</a> or <a href="https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub">Android</a>.
<img src="https://github.com/notifications/beacon/AAIOWJ5G3C2BTTYGX64Y2ILULG7FPA5CNFSM5GTVPZ42YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOHF753SA.gif" height="1" width="1" alt="" /></p>
<script type="application/ld+json">[
{
"@context": "http://schema.org",
"@type": "EmailMessage",
"potentialAction": {
"@type": "ViewAction",
"target": "https://github.com/geany/geany-plugins/pull/1126#issuecomment-964681160",
"url": "https://github.com/geany/geany-plugins/pull/1126#issuecomment-964681160",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>