Stream: coq-community devs & users

Topic: Repository Events

view this post on Zulip Coq Github Bot (May 07 2020 at 19:49):

GitHub webhook has been successfully configured by Zimmi48.

view this post on Zulip Coq Github Bot (Jun 02 2020 at 13:59):

palmskog edited the repository.

view this post on Zulip Coq Github Bot (Jun 05 2020 at 20:06):

palmskog created the repository.

view this post on Zulip Coq Github Bot (Jun 05 2020 at 21:58):

palmskog edited the repository.

view this post on Zulip Coq Github Bot (Jun 05 2020 at 21:58):

ghost edited the repository.

view this post on Zulip Coq Github Bot (Jun 05 2020 at 22:47):

palmskog edited the repository.

view this post on Zulip Coq Github Bot (Jun 06 2020 at 13:29):

palmskog edited the repository.

view this post on Zulip Coq Github Bot (Jun 11 2020 at 17:28):

palmskog transferred the repository.

view this post on Zulip Coq Github Bot (Jun 11 2020 at 17:30):

palmskog edited the repository.

view this post on Zulip Coq Github Bot (Jun 23 2020 at 10:31):

palmskog transferred the repository.

view this post on Zulip Coq Github Bot (Jun 23 2020 at 10:45):

palmskog edited the repository.

view this post on Zulip Coq Github Bot (Jul 02 2020 at 21:21):

thery transferred the repository coq-community/HighSchoolGeometry.

view this post on Zulip Coq Github Bot (Jul 02 2020 at 23:22):

palmskog edited the repository coq-community/HighSchoolGeometry.

view this post on Zulip Coq Github Bot (Jul 21 2020 at 18:15):

JasonGross transferred the repository coq-community/run-coq-bug-minimizer.

view this post on Zulip Coq Github Bot (Jul 21 2020 at 18:36):

palmskog edited the repository coq-community/run-coq-bug-minimizer.

view this post on Zulip Coq Github Bot (Jul 21 2020 at 18:48):

palmskog edited the repository coq-community/run-coq-bug-minimizer.

view this post on Zulip Coq Github Bot (Jul 28 2020 at 06:19):

palmskog edited the repository coq-community/buchberger.

view this post on Zulip Coq Github Bot (Aug 31 2020 at 19:25):

jmadiot transferred the repository coq-community/coq100.

view this post on Zulip Coq Github Bot (Aug 31 2020 at 19:44):

palmskog edited the repository coq-community/coq100.

view this post on Zulip Coq Github Bot (Sep 07 2020 at 15:37):

chdoc created the repository coq-community/comp-dec-modal.

view this post on Zulip Coq Github Bot (Sep 07 2020 at 15:57):

palmskog edited the repository coq-community/coq100.

view this post on Zulip Coq Github Bot (Sep 08 2020 at 09:34):

palmskog edited the repository coq-community/qarith-stern-brocot.

view this post on Zulip Coq Github Bot (Sep 08 2020 at 10:27):

palmskog edited the repository coq-community/semantics.

view this post on Zulip Coq Github Bot (Sep 08 2020 at 10:45):

palmskog edited the repository coq-community/topology.

view this post on Zulip Coq Github Bot (Sep 08 2020 at 11:12):

anton-trunov edited the repository coq-community/comp-dec-modal.

view this post on Zulip Coq Github Bot (Sep 09 2020 at 07:57):

palmskog transferred the repository coq-community/gaia.

view this post on Zulip Coq Github Bot (Sep 10 2020 at 16:22):

palmskog edited the repository coq-community/comp-dec-modal.

view this post on Zulip Coq Github Bot (Sep 10 2020 at 16:35):

palmskog edited the repository coq-community/bertrand.

view this post on Zulip Coq Github Bot (Sep 13 2020 at 11:29):

palmskog edited the repository coq-community/gaia.

view this post on Zulip Coq Github Bot (Sep 24 2020 at 01:00):

liyishuai edited the repository coq-community/coq-ext-lib.

view this post on Zulip Coq Github Bot (Oct 08 2020 at 13:31):

lthms transferred the repository coq-community/coqffi.

view this post on Zulip Coq Github Bot (Oct 08 2020 at 19:47):

palmskog edited the repository coq-community/coqffi.

view this post on Zulip Coq Github Bot (Oct 14 2020 at 16:05):

jmadiot transferred the repository coq-community/coqtail-math.

view this post on Zulip Coq Github Bot (Oct 15 2020 at 01:25):

palmskog edited the repository coq-community/coqtail-math.

view this post on Zulip Coq Github Bot (Oct 17 2020 at 04:55):

palmskog edited the repository coq-community/coqtail-math.

view this post on Zulip Coq Github Bot (Oct 20 2020 at 10:46):

Zimmi48 transferred the repository coq-community/generic-environments.

view this post on Zulip Coq Github Bot (Oct 20 2020 at 11:35):

aerabi edited the repository coq-community/generic-environments.

view this post on Zulip Coq Github Bot (Oct 20 2020 at 11:37):

Zimmi48 edited the repository coq-community/generic-environments.

view this post on Zulip Coq Github Bot (Oct 20 2020 at 11:56):

Zimmi48 created the repository coq-community/hydra-battles.

view this post on Zulip Coq Github Bot (Oct 20 2020 at 11:56):

Zimmi48 edited the repository coq-community/hydra-battles.

view this post on Zulip Coq Github Bot (Oct 20 2020 at 11:56):

ghost edited the repository coq-community/hydra-battles.

view this post on Zulip Coq Github Bot (Oct 20 2020 at 15:17):

palmskog edited the repository coq-community/bertrand.

view this post on Zulip Coq Github Bot (Oct 21 2020 at 08:19):

vsiles transferred the repository coq-community/regexp-Brzozowski.

view this post on Zulip Coq Github Bot (Oct 21 2020 at 11:24):

anton-trunov edited the repository coq-community/regexp-Brzozowski.

view this post on Zulip Coq Github Bot (Oct 21 2020 at 11:26):

anton-trunov edited the repository coq-community/regexp-Brzozowski.

view this post on Zulip Coq Github Bot (Oct 22 2020 at 17:57):

palmskog edited the repository coq-community/hydra-battles.

view this post on Zulip Coq Github Bot (Oct 27 2020 at 05:29):

palmskog edited the repository coq-community/generic-environments.

view this post on Zulip Coq Github Bot (Oct 29 2020 at 20:36):

palmskog edited the repository coq-community/hydra-battles.

view this post on Zulip Coq Github Bot (Oct 30 2020 at 15:08):

palmskog edited the repository coq-community/aac-tactics.

view this post on Zulip Coq Github Bot (Nov 25 2020 at 06:57):

Casteran edited the repository coq-community/hydra-battles.

view this post on Zulip Coq Github Bot (Nov 25 2020 at 06:59):

Casteran edited the repository coq-community/hydra-battles.

view this post on Zulip Coq Github Bot (Nov 25 2020 at 10:44):

palmskog edited the repository coq-community/hydra-battles.

view this post on Zulip Coq Github Bot (Nov 26 2020 at 11:43):

yforster transferred the repository coq-community/autosubst.

view this post on Zulip Coq Github Bot (Nov 27 2020 at 07:46):

palmskog edited the repository coq-community/autosubst.

view this post on Zulip Coq Github Bot (Dec 07 2020 at 16:08):

lthms edited the repository coq-community/coqffi.

view this post on Zulip Coq Github Bot (Dec 08 2020 at 07:39):

palmskog edited the repository coq-community/topology.

view this post on Zulip Coq Github Bot (Dec 15 2020 at 18:27):

Zimmi48 edited the repository coq-community/vscoq.

view this post on Zulip Coq Github Bot (Dec 18 2020 at 19:29):

JasonGross created the repository coq-community/coq-performance-tests-plots-history.

view this post on Zulip Coq Github Bot (Dec 21 2020 at 09:16):

Zimmi48 edited the repository coq-community/zorns-lemma.

view this post on Zulip Coq Github Bot (Dec 21 2020 at 09:21):

Zimmi48 edited the repository coq-community/topology.

view this post on Zulip Coq Github Bot (Jan 01 2021 at 15:39):

palmskog transferred the repository coq-community/pocklington.

view this post on Zulip Coq Github Bot (Jan 01 2021 at 15:41):

palmskog transferred the repository coq-community/goedel.

view this post on Zulip Coq Github Bot (Jan 01 2021 at 16:08):

palmskog edited the repository coq-community/pocklington.

view this post on Zulip Coq Github Bot (Jan 01 2021 at 17:21):

palmskog edited the repository coq-community/goedel.

view this post on Zulip Coq Github Bot (Jan 01 2021 at 17:31):

palmskog edited the repository coq-community/goedel.

view this post on Zulip Coq Github Bot (Jan 02 2021 at 18:01):

palmskog edited the repository coq-community/pocklington.

view this post on Zulip Coq Github Bot (Jan 04 2021 at 13:06):

palmskog edited the repository coq-community/zorns-lemma.

view this post on Zulip Coq Github Bot (Jan 04 2021 at 13:06):

palmskog edited the repository coq-community/zorns-lemma.

view this post on Zulip Coq Github Bot (Jan 04 2021 at 13:06):

palmskog archived the repository coq-community/zorns-lemma.

view this post on Zulip Coq Github Bot (Jan 08 2021 at 17:13):

Casteran edited the repository coq-community/goedel.

view this post on Zulip Coq Github Bot (Jan 11 2021 at 20:39):

palmskog edited the repository coq-community/goedel.

view this post on Zulip Coq Github Bot (Jan 13 2021 at 14:52):

palmskog edited the repository coq-community/coq-art.

view this post on Zulip Coq Github Bot (Jan 14 2021 at 02:31):

palmskog edited the repository coq-community/hydra-battles.

view this post on Zulip Coq Github Bot (Jan 14 2021 at 11:56):

jmadiot renamed the repository coq-community/coq-100-theorems.

view this post on Zulip Coq Github Bot (Feb 12 2021 at 16:24):

CohenCyril created the repository coq-community/nix-toolbox.

view this post on Zulip Coq Github Bot (Feb 12 2021 at 16:47):

CohenCyril edited the repository coq-community/nix-toolbox.

view this post on Zulip Coq Github Bot (Mar 09 2021 at 18:28):

CohenCyril renamed the repository coq-community/coq-nix-toolbox.

view this post on Zulip Coq Github Bot (Mar 12 2021 at 19:50):

Zimmi48 edited the repository coq-community/coq-nix-toolbox.

view this post on Zulip Coq Github Bot (May 05 2021 at 18:18):

Zimmi48 transferred the repository coq-community/sudoku.

view this post on Zulip Coq Github Bot (Jul 03 2021 at 09:34):

palmskog edited the repository coq-community/sudoku.

view this post on Zulip Coq Github Bot (Jul 03 2021 at 09:35):

palmskog edited the repository coq-community/sudoku.

view this post on Zulip Coq Github Bot (Jul 03 2021 at 09:44):

palmskog edited the repository coq-community/coq-performance-tests-plots-history.

view this post on Zulip Coq Github Bot (Jul 05 2021 at 11:36):

Zimmi48 edited the repository coq-community/sudoku.

view this post on Zulip Coq Github Bot (Aug 10 2021 at 12:54):

Zimmi48 edited the repository coq-community/autosubst.

view this post on Zulip Coq Github Bot (Aug 19 2021 at 18:12):

palmskog edited the repository coq-community/sudoku.

view this post on Zulip Coq Github Bot (Sep 01 2021 at 08:38):

palmskog edited the repository coq-community/stalmarck.

view this post on Zulip Coq Github Bot (Sep 01 2021 at 09:34):

CohenCyril transferred the repository coq-community/CoqEAL.

view this post on Zulip Coq Github Bot (Sep 01 2021 at 09:54):

palmskog edited the repository coq-community/CoqEAL.

view this post on Zulip Coq Github Bot (Sep 01 2021 at 09:55):

palmskog edited the repository coq-community/CoqEAL.

view this post on Zulip Coq Github Bot (Sep 01 2021 at 11:51):

palmskog renamed the repository coq-community/coqeal.

view this post on Zulip Coq Github Bot (Sep 01 2021 at 12:50):

palmskog edited the repository coq-community/coqeal.

view this post on Zulip Coq Github Bot (Sep 07 2021 at 08:38):

ybertot transferred the repository coq-community/matrix_canonical_forms.

view this post on Zulip Coq Github Bot (Sep 07 2021 at 16:20):

palmskog edited the repository coq-community/matrix_canonical_forms.

view this post on Zulip Coq Github Bot (Sep 28 2021 at 07:51):

Karmaki transferred the repository coq-community/coq-dpdgraph.

view this post on Zulip Coq Github Bot (Sep 29 2021 at 08:59):

palmskog edited the repository coq-community/coq-dpdgraph.

view this post on Zulip Coq Github Bot (Oct 03 2021 at 16:10):

palmskog edited the repository coq-community/bertrand.

view this post on Zulip Coq Github Bot (Oct 26 2021 at 08:46):

palmskog edited the repository coq-community/goedel.

view this post on Zulip Coq Github Bot (Oct 26 2021 at 12:30):

palmskog edited the repository coq-community/buchberger.

view this post on Zulip Coq Github Bot (Oct 26 2021 at 15:33):

palmskog edited the repository coq-community/stalmarck.

view this post on Zulip Coq Github Bot (Oct 30 2021 at 14:14):

palmskog edited the repository coq-community/stalmarck.

view this post on Zulip Coq Github Bot (Nov 03 2021 at 10:13):

coq-community edited the repository coq-community/pocklington.

view this post on Zulip Coq Github Bot (Nov 03 2021 at 10:22):

coq-community edited the repository coq-community/sudoku.

view this post on Zulip Coq Github Bot (Nov 05 2021 at 12:02):

palmskog edited the repository coq-community/matrix_canonical_forms.

view this post on Zulip Coq Github Bot (Nov 05 2021 at 12:02):

palmskog archived the repository coq-community/matrix_canonical_forms.

view this post on Zulip Coq Github Bot (Nov 12 2021 at 14:05):

palmskog edited the repository coq-community/hydra-battles.

view this post on Zulip Coq Github Bot (Nov 28 2021 at 13:20):

palmskog edited the repository coq-community/regexp-Brzozowski.

view this post on Zulip Coq Github Bot (Dec 09 2021 at 14:38):

Zimmi48 transferred the repository coq-community/bignums.

view this post on Zulip Coq Github Bot (Dec 09 2021 at 14:41):

Zimmi48 edited the repository coq-community/bignums.

view this post on Zulip Coq Github Bot (Dec 10 2021 at 08:45):

Zimmi48 edited the repository coq-community/bignums.

view this post on Zulip Coq Github Bot (Dec 10 2021 at 13:35):

palmskog edited the repository coq-community/bignums.

view this post on Zulip Coq Github Bot (Dec 10 2021 at 13:35):

coq-community edited the repository coq-community/bignums.

view this post on Zulip Coq Github Bot (Dec 10 2021 at 13:47):

coq-community edited the repository coq-community/paramcoq.

view this post on Zulip Coq Github Bot (Dec 10 2021 at 13:48):

coq-community edited the repository coq-community/chapar.

view this post on Zulip Coq Github Bot (Dec 10 2021 at 17:07):

erikmd edited the repository coq-community/bignums.

view this post on Zulip Coq Github Bot (Dec 10 2021 at 18:16):

coq-community edited the repository coq-community/reglang.

view this post on Zulip Coq Github Bot (Dec 11 2021 at 19:42):

coq-community edited the repository coq-community/buchberger.

view this post on Zulip Coq Github Bot (Dec 11 2021 at 19:42):

palmskog edited the repository coq-community/buchberger.

view this post on Zulip Coq Github Bot (Dec 31 2021 at 17:06):

coq-community edited the repository coq-community/bignums.

view this post on Zulip Coq Github Bot (Dec 31 2021 at 17:06):

palmskog edited the repository coq-community/bignums.

view this post on Zulip Coq Github Bot (Jan 01 2022 at 16:11):

coq-community edited the repository coq-community/regexp-Brzozowski.

view this post on Zulip Coq Github Bot (Jan 01 2022 at 16:24):

coq-community edited the repository coq-community/reglang.

view this post on Zulip Karl Palmskog (Jan 01 2022 at 16:25):

changed to consistently use docker-coq-action topic to more easily apply CI boilerplate updates

view this post on Zulip Coq Github Bot (Jan 04 2022 at 18:25):

coq-community edited the repository coq-community/reglang.

view this post on Zulip Notification Bot (Jan 07 2022 at 09:53):

Yannick Forster has marked this topic as resolved.

view this post on Zulip Notification Bot (Jan 07 2022 at 09:53):

Yannick Forster has marked this topic as unresolved.

view this post on Zulip Coq Github Bot (Feb 03 2022 at 10:10):

amahboubi transferred the repository coq-community/apery.

view this post on Zulip Coq Github Bot (Feb 03 2022 at 12:10):

coq-community edited the repository coq-community/apery.

view this post on Zulip Coq Github Bot (Feb 03 2022 at 12:10):

palmskog edited the repository coq-community/apery.

view this post on Zulip Coq Github Bot (Feb 11 2022 at 08:53):

palmskog edited the repository coq-community/awesome-coq.

view this post on Zulip Coq Github Bot (Feb 11 2022 at 19:46):

palmskog edited the repository coq-community/awesome-coq.

view this post on Zulip Coq Github Bot (Mar 10 2022 at 14:08):

amahboubi transferred the repository coq-community/fourcolor.

view this post on Zulip Coq Github Bot (Mar 10 2022 at 14:11):

palmskog edited the repository coq-community/fourcolor.

view this post on Zulip Coq Github Bot (Mar 26 2022 at 20:10):

palmskog edited the repository coq-community/aac-tactics.

view this post on Zulip Coq Github Bot (May 19 2022 at 12:45):

Alizter created the repository coq-community/riscv-coq.

view this post on Zulip Ali Caglayan (May 19 2022 at 12:46):

@Karl Palmskog I accidentally forked to coq-community, can you delete the repo? https://github.com/coq-community/riscv-coq/settings

view this post on Zulip Théo Zimmermann (May 19 2022 at 12:47):

Yep!

view this post on Zulip Coq Github Bot (May 19 2022 at 12:47):

Zimmi48 deleted the repository coq-community/riscv-coq.

view this post on Zulip Ali Caglayan (May 19 2022 at 12:51):

Thanks!

view this post on Zulip Coq Github Bot (Jul 19 2022 at 21:55):

erikmd edited the repository coq-community/docker-coq-action.

view this post on Zulip Coq Github Bot (Jul 19 2022 at 21:55):

erikmd edited the repository coq-community/docker-coq-action.

view this post on Zulip Coq Github Bot (Aug 22 2022 at 20:59):

erikmd edited the repository coq-community/docker-coq.

view this post on Zulip Coq Github Bot (Aug 22 2022 at 20:59):

erikmd edited the repository coq-community/docker-coq.

view this post on Zulip Coq Github Bot (Oct 13 2022 at 14:43):

palmskog edited the repository coq-community/vscoq.

view this post on Zulip Coq Github Bot (Oct 13 2022 at 15:36):

palmskog edited the repository coq-community/vscoq.

view this post on Zulip Coq Github Bot (Oct 14 2022 at 12:36):

palmskog edited the repository coq-community/apery.

view this post on Zulip Coq Github Bot (Oct 17 2022 at 14:53):

letouzey transferred the repository coq-community/coq-mmaps.

view this post on Zulip Coq Github Bot (Oct 17 2022 at 14:59):

palmskog edited the repository coq-community/coq-mmaps.

view this post on Zulip Coq Github Bot (Oct 17 2022 at 14:59):

palmskog edited the repository coq-community/coq-mmaps.

view this post on Zulip Coq Github Bot (Oct 25 2022 at 08:05):

palmskog edited the repository coq-community/coq-mmaps.

view this post on Zulip Coq Github Bot (Oct 25 2022 at 17:56):

palmskog archived the repository coq-community/goedel.

view this post on Zulip Coq Github Bot (Oct 25 2022 at 17:56):

palmskog unarchived the repository coq-community/goedel.

view this post on Zulip Coq Github Bot (Oct 25 2022 at 17:57):

palmskog edited the repository coq-community/goedel.

view this post on Zulip Coq Github Bot (Oct 25 2022 at 17:58):

palmskog archived the repository coq-community/goedel.

view this post on Zulip Coq Github Bot (Oct 29 2022 at 15:34):

palmskog edited the repository coq-community/coq-mmaps.

view this post on Zulip Coq Github Bot (Oct 31 2022 at 10:11):

palmskog edited the repository coq-community/coq-mmaps.

view this post on Zulip Coq Github Bot (Nov 21 2022 at 13:48):

palmskog edited the repository coq-community/stalmarck.

view this post on Zulip Coq Github Bot (Nov 21 2022 at 13:48):

palmskog edited the repository coq-community/stalmarck.

view this post on Zulip Coq Github Bot (Nov 21 2022 at 13:51):

palmskog edited the repository coq-community/corn.

view this post on Zulip Coq Github Bot (Nov 21 2022 at 13:52):

palmskog edited the repository coq-community/math-classes.

view this post on Zulip Coq Github Bot (Nov 21 2022 at 13:53):

palmskog edited the repository coq-community/autosubst.

view this post on Zulip Coq Github Bot (Nov 21 2022 at 13:57):

palmskog edited the repository coq-community/fourcolor.

view this post on Zulip Coq Github Bot (Nov 21 2022 at 14:02):

palmskog edited the repository coq-community/bignums.

view this post on Zulip Coq Github Bot (Dec 10 2022 at 11:46):

palmskog edited the repository coq-community/coqeal.

view this post on Zulip Coq Github Bot (Dec 10 2022 at 11:51):

palmskog edited the repository coq-community/paramcoq.

view this post on Zulip Coq Github Bot (Dec 10 2022 at 11:53):

palmskog edited the repository coq-community/corn.

view this post on Zulip Coq Github Bot (Dec 10 2022 at 11:54):

palmskog edited the repository coq-community/math-classes.

view this post on Zulip Coq Github Bot (Dec 10 2022 at 11:56):

palmskog edited the repository coq-community/coq-ext-lib.

view this post on Zulip Coq Github Bot (Dec 10 2022 at 13:27):

palmskog edited the repository coq-community/paramcoq.

view this post on Zulip Coq Github Bot (Dec 12 2022 at 10:35):

palmskog edited the repository coq-community/vscoq.

view this post on Zulip Coq Github Bot (Jan 14 2023 at 12:40):

palmskog edited the repository coq-community/coqoban.

view this post on Zulip Coq Github Bot (Jan 24 2023 at 20:55):

erikmd edited the repository coq-community/docker-base.

view this post on Zulip Coq Github Bot (Jan 24 2023 at 20:55):

erikmd edited the repository coq-community/docker-base.

view this post on Zulip Coq Github Bot (Jan 24 2023 at 20:56):

erikmd edited the repository coq-community/docker-coq.

view this post on Zulip Coq Github Bot (Feb 15 2023 at 16:25):

maximedenes edited the repository coq-community/vscoq.

view this post on Zulip Coq Github Bot (Feb 15 2023 at 16:26):

maximedenes edited the repository coq-community/vscoq.

Last updated: Jun 03 2023 at 17:29 UTC