Create your own GitHub profile
Join the platform over 36 million developers call home for hosting code, managing projects, and building their best software.
Sign up for free See pricing for teams and enterprises
Pinned
2,158 contributions in the last year
Activity overview
Contributed to
iodide-project/pyodide,
mozilla-mobile/android-components,
iodide-project/iodide
and 5 other
repositories
Contribution activity
April 2019
- mdboom/probe-scraper Python
- mdboom/geckoview Ruby
- mdboom/jsonschema-valid Rust
Created a pull request in mozilla-services/mozilla-pipeline-schemas that received 5 comments
glean: 1529226: Make client_id optional
Use case: custom pings need to be able to be sent without the client_id to preserve privacy. @fbertsch: Does this require a version bump? Checklist…
+15
−26
•
5
comments
- glean: 1547330: Make sure ping metadata is loaded
- glean: 1547273: Display error from GleanDebugActivity when glean isn't initialized
- 1513616: Clear metrics when telemetry is disabled.
- Fix #2793: Don't emit duplicate imports from glean parser
- glean 1529226: Provide a way to specify whether a ping should send client_id
- glean: 1526343: Add public sendPings API
- Update CODEOWNERS so anyone can review the changelog
- [glean] 15443487: Don't use Kotlin introspection
- 1541493: Add thread-safe timing API
- [glean] 1543487: Add docs about proguard rules
- [glean] 1543651: Remove RestrictTo annotations
- [ci skip] Add breaking change note to changelog wrt #2633
- [glean] 1540725: Make labeled metrics invididual metric types.
- 1541493: Add timer utility for measuring timespans
- 1540844: Rename metrics package -> private
- [ci skip] Add note about updates to sdk_generator.gradle
- [glean] 1540844: Add RestrictTo(LIBRARY) annotation to public-not-public glean API
- [ci skip] 1540134: Doc that the sample application id changes w/ variant
- 1509053: Get better glean_parser error messages
- [glean] 1529204: Another round of warning fixing
- [ci skip] Improve docs about when to call setUploadEnabled
- [glean] 1513616: Provide an API to clear user lifetime metrics
- 1513616: Clear metrics when telemetry is disabled.
- Fixup glean docs [ci skip]
- Glean doc improvements [ci skip]
- Make sure metric recording happens in the expected order
- glean 1529226: Provide a way to specify whether a ping should send client_id
- Regenerate the client id / first run date if needed
- Guarantee that pending glean pings are fully written to disk
- Glean: improve comment regarding bucketing to be more clear about overflow
- Cleanup JSON usage in experiments library tests
- 1536792: Reinstate disabled MetricsPingSchedulerTests.
- Restrict the exposed `Configuration` fields
- Glean: Limit timing distribution's range property to exactly 2 elements
- 1538745: Make TimingDistributionData.values use Int as key
- Glean: fix an issue in testing background pings
- Await ping serialization before enqueueing PingUploadWorker.
- [glean] Move `MetricsPingWorker` out of `MetricsPingScheduler`
- Refactor and remove Baseline.kt from service-glean
Created an issue in iodide-project/iodide that received 2 comments
notebook ownership information in redux store is not updated appropriately when notebook is forked
What I Did
Opened https://definitely-staging.iodide.io/notebooks/26/
Click "copy to your account"
Run the first cell:
%% js iodide.file.save('her…
2
comments