Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Qual: Improve write_file typing (part 2) #30527

Merged
merged 8 commits into from
Nov 13, 2024

Conversation

mdeweerd
Copy link
Contributor

@mdeweerd mdeweerd commented Aug 1, 2024

Qual: Improve write_file typing (part 2)

This was part of #30511, but the typing hints highlight issues that need decisions best made/implemented by @eldy I think (which I moved them to this separate PR).

@mdeweerd mdeweerd marked this pull request as ready for review August 1, 2024 21:32
@FHenry
Copy link
Member

FHenry commented Aug 7, 2024

Hi @mdeweerd
Are you sure 30518 is related (add hookmanger->init in branch 18.0) ?
None of files concern by PR 30518 are in this PR.

@mdeweerd
Copy link
Contributor Author

mdeweerd commented Aug 10, 2024

@FHenry I put in the wrong PR number, #30511 is related (github shows a popup and sometimes this inadvertently results in another selection).

@mdeweerd mdeweerd force-pushed the write_file_issues branch 5 times, most recently from bb97f0d to 04bb40d Compare August 17, 2024 15:44
@mdeweerd mdeweerd force-pushed the write_file_issues branch 3 times, most recently from 6a3523b to c779521 Compare August 19, 2024 01:03
@mdeweerd mdeweerd force-pushed the write_file_issues branch 2 times, most recently from e491e20 to 32d822e Compare September 29, 2024 10:26
@mdeweerd mdeweerd force-pushed the write_file_issues branch 2 times, most recently from 5538801 to 6b7abd7 Compare October 14, 2024 01:59
@mdeweerd mdeweerd force-pushed the write_file_issues branch 2 times, most recently from 91cb1be to 05e416d Compare November 11, 2024 00:30
@eldy eldy merged commit a0f515e into Dolibarr:develop Nov 13, 2024
7 checks passed
@mdeweerd mdeweerd deleted the write_file_issues branch November 14, 2024 11:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants