<p></p>
<p dir="auto"><a class="user-mention" data-hovercard-type="user" data-hovercard-url="/users/elextr/hovercard" data-octo-click="hovercard-link-click" data-octo-dimensions="link_type:self" href="https://github.com/elextr">@elextr</a></p>
<blockquote>
<p dir="auto">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>
</blockquote>
<p dir="auto">I force pushed here because <a class="user-mention" data-hovercard-type="user" data-hovercard-url="/users/techee/hovercard" data-octo-click="hovercard-link-click" data-octo-dimensions="link_type:self" href="https://github.com/techee">@techee</a> asked on another PR for me to combine commits.  So I assumed that was his preference generally.  How would I do that without a force push?</p>
<p dir="auto">For Geany, a couple were because of conflicts that would need to be resolved manually.  The rest were just because it's fun to rebase.  I'll refrain from any more of those.</p>
<blockquote>
<p dir="auto">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>
</blockquote>
<p dir="auto"><a class="issue-link js-issue-link" data-error-text="Failed to load title" data-id="1030777500" data-permission-text="Title is private" data-url="https://github.com/geany/geany-plugins/issues/1123" data-hovercard-type="pull_request" data-hovercard-url="/geany/geany-plugins/pull/1123/hovercard" href="https://github.com/geany/geany-plugins/pull/1123">#1123</a> fixes the build issue.  <a class="user-mention" data-hovercard-type="user" data-hovercard-url="/users/Skif-off/hovercard" data-octo-click="hovercard-link-click" data-octo-dimensions="link_type:self" href="https://github.com/Skif-off">@Skif-off</a> Seems to think it's prudent to wait for <a class="issue-link js-issue-link" data-error-text="Failed to load title" data-id="1022616379" data-permission-text="Title is private" data-url="https://github.com/geany/geany/issues/2930" data-hovercard-type="pull_request" data-hovercard-url="/geany/geany/pull/2930/hovercard" href="https://github.com/geany/geany/pull/2930">geany/geany#2930</a> (Scintilla 5.1.3), but in that thread there's talk of waiting for 5.1.4.</p>
<p dir="auto">If there are no new data types, the changes are auto-generated.  So if it's holding other things back, the only real downside to just merging and regenerating the file again later is another PR.  If scintilla only add symbols, without removing any, the next update could be delayed further with the only consequence being that new messages can't be used.</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-964692393">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AAIOWJZYC32M4TML5HVBE5TULHB63ANCNFSM5GTVPZ4Q">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/AAIOWJ4WHTSYRTMVSXHZF2LULHB63A5CNFSM5GTVPZ42YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOHGAATKI.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-964692393",
"url": "https://github.com/geany/geany-plugins/pull/1126#issuecomment-964692393",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>