Changes between Version 28 and Version 31 of Ticket #33113


Ignore:
Timestamp:
04/01/22 16:46:33 (3 months ago)
Author:
mkoeppe
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #33113 – Description

    v28 v31  
     1- Added gitpod badge to trac tickets:
     2  Image `https://img.shields.io/badge/-Gitpod-908a85?logo=gitpod`
     3  Link `https://gitpod.io/#https://github.com/sagemath/sagetrac-mirror/tree/<branch>`
     4- #33450 Improve vs code config
     5- #33589 Gitpod: track remote trac branch
     6- #33613 Gitpod: Install git-trac-command
     7
    18- Prebuild of `develop` branch is not available (probably because the prebuild of the develop branch still uses the old docker image)
    2 
    3 - #33450 Improve vs code config
    49
    510- #32753 Prefer Linux package manager over linuxbrew (or remove linuxbrew from the Docker image)
     
    1924- Link to https://www.gitpod.io/docs/configure/browser-settings
    2025
    21 - Add gitpod badge to trac tickets:
    22   Image `https://img.shields.io/badge/-Gitpod-908a85?logo=gitpod`
    23   Link `https://gitpod.io/#https://github.com/sagemath/sagetrac-mirror/tree/<branch>`
    24 
    2526- Remove popup notifications:
    2627  - "Snooty language server is not installed or out of date."