2,123 karma · joined June 21, 2020
https://github.com/david-allison
gmail: davidallisongithub
Sponsors: https://github.com/sponsors/david-allison/
https://opencollective.com/ankidroid
* CMAS https://en.wikipedia.org/wiki/Wireless_Emergency_Alerts
* ETWS Earthquake and Tsunami Warning System
[0] https://cs.android.com/android/platform/superproject/main/+/...
In the past week (besides the constant slop), there are models which have misattributed the copyright of new files to me, and stripped my copyright from existing files. It's sapping up time, energy and motivation.
GP [martinwoodward] states:
> This type of behaviour is explicitly against the GitHub terms of service, when we catch the accounts doing this we can (and do) take action against those accounts including banning the accounts.
But action was not taken, there was no reply to my email to GitHub support.
* This is an optional feature via git config, with a further GitHub setting to reject commits pushed using your personal email address.
* If the GitHub setting is disabled, some GitHub-generated commits/fixups use your personal email (e.g. squash merge in the GitHub UI).
* I use my personal email in file-level copyright headers, even if the commits use the GitHub noreply email.
* I have my personal email on my GitHub profile, visible to logged in users.
I've had decent success with on-GitHub action (I'd wager ~80% action taken), but the effort to report email spammers doesn't seem worthwhile.
This isn't my experience. I requested that you looked into a spammer in July 2025, you ignored my reply and the account is still active.
----
Thank you so much for the report. We're sorry to hear you're receiving unwanted emails, but it's always a possibility when your public contact information is listed on the web. You can keep your email address private if you wish by following the steps here:
Setting your commit email address
We do expect our users to comply with our Terms of Service, which prohibits transmitting using information from the GitHub (whether scraped, collected through our API, or obtained otherwise) for spamming purposes. I'm happy to look into it further to see if we can contact the reported user and let them know that this type of activity is not allowed.
Please let us know if you have any other questions or concerns.
----
My reply which was ignored:
----
I understand it will happen from time to time. I'd rather be contactable (I've received legitimate emails today because my email is on my profile).
Please take further action. My email is public with the expectation that the ToS will be enforced. If GitHub isn't discouraging spammers then it makes it much harder to justify being contactable.
All the best, David
62114487+david-allison@users.noreply.github.com
this includes a unique ID which survives account renames, and the name of the GitHub account at the time.[0] https://docs.github.com/en/account-and-profile/reference/ema...
Merging a PR from a non-established contributor is often taking on responsibility for the long-term maintenance of their code.
In the past 12 months, I've made £65.79 from GitHub Sponsors (no fees, thank you GitHub/Microsoft) and $87.89 from Patreon (pre-fees, I'll probably see ~$50), and a split of the Open Collective [below]
AnkiDroid GitHub Sponsors: https://github.com/sponsors/ankidroid
and finances/sponsorship: https://opencollective.com/ankidroid (with immense help from dae).
https://github.com/ankitects/anki-manual/blob/main/src/sync-...
Full disclaimer - it's a feature which AnkiDroid supports, but isn't one which I use.
We've got a setting [developer options only] which completely reimplements them, it won't be live for 2.24, but hopefully 2.25
https://github.com/ericli3690/gsoc-ankidroid-report/blob/mai...
You can edit the structure of the card templates so they're the 'right way around' for you:
It's mostly due to time/resource/technical constraints [some of our strings come from a shared backend], but we can do better here, especially if there's now a lot more community interest in the feature.
Pull requests welcome! Do feel free to get in touch on the issue/Discord.
----
To copy from my message on Discord:
> I’m moving to a full-time position working on Anki [incl. AnkiWeb & AnkiMobile]. I’m really excited about this, but there’s a mountain of pending, somewhat undefined work which will need to be done, and it’ll need my full-time attention for a while.
> I’ll still be contributing to AnkiDroid, but I won’t be able to commit as much time as I am doing currently (at least for the first few months while things stabilize). I’ll be here on evenings/weekends, and will be contributing in other ways (hopefully: unified Note Editor, JS addons etc… ), but I expect to slow down with code contributions to ensure I’m staying on on top of PR reviews & general force multiplier work. I’m definitely Org Admin’ing for GSoC over the summer [assuming Google gives us the greenlight], it’s historically been a VERY light role.
> In all honesty: I’m expecting things to be business as usual, I have more than enough capacity to keep up with the notification queue. Even if I completely dropped off the planet, we’re a great team and the improvements would keep on flowing. AnkiDroid’s bus factor has been >>> 1 for a LONG time now.
https://discord.gg/qjzcRTx => https://discord.com/channels/368267295601983490/701922522836...
Feel free to get in touch if you're interested:
https://github.com/ankidroid/Anki-Android/blob/main/CONTRIBU...
From an Android (AnkiDroid) perspective, it's allowed us to remove most of our code which was manually ported from the Python backend, with guaranteed 1:1 compatibility with upstream.
We've moved from being years behind upstream to being able to release in tandem with the Desktop app.
We also migrated to common screens written in Svelte, to reduce the maintenance burden of UI changes for screens with high churn (Deck Options being the primary example).
It may produce it when asked
https://chatgpt.com/share/678e3306-c188-8002-a26c-ac1f32fee4...
My music was deleted.
Has this been discontinued?
I can confidently say that it does. Sturgeon's law applies: 90% of everything is crap, but there are pockets of good, and they make all the difference.
Neither, sadly.
Thanks for the link. I have neither the time nor inclination to be a figurehead, but I can have conversations once I feel there's a reasonable/achievable outcome. I'll put some thought into it.