Block or report user

Report or block martisch

Hide content and notifications from this user.

Contact Support about this user’s behavior.

Report abuse



Pinned repositories

  1. golang/go

    The Go programming language

    Go 47.2k 6.4k

  2. eprover_dev

    personal development copy of source code


  3. metagol-dev

    Forked from metagol/metagol



64 contributions in the last year

Sep Oct Nov Dec Jan Feb Mar Apr May Jun Jul Aug Sep Mon Wed Fri

Contribution activity

September 2018

martisch has no activity yet for this period.

August 2018

Created an issue in golang/go that received 6 comments

proposal: runtime: document (and support) GODEBUGCPU

Proposal Remove the experimental status of the debugcpu experiment feature in go1.12 and document the use of the environment variable GODEBUGCPU as…


Seeing something unexpected? Take a look at the GitHub profile guide.