All pull requests

Pull requests

• last-notification-page-button - Drop feature

  change requestimplemented by github
  #10142·by fregante was merged Sep 29, 2026Member·

  ·
  2

• sticky-comment-header - Drop feature

  change request
  #10005·by fregante was merged Aug 29, 2026Member·

  ·
  1

  11

• highest-rated-comment - Drop feature

  bug
  #9811·by fregante was merged Jul 11, 2026Member·

  ·
  1

• hidden-review-comments-indicator - Drop feature

  change requestimplemented by github
  #9645·by fregante was merged May 31, 2026Member·

  ·

• command-palette-navigation-shortcuts - Drop feature

  change request
  #9643·by fregante was merged May 31, 2026Member·

  ·

• more-dropdown-links - Drop feature

  change request
  #9551·by fregante was merged May 21, 2026Member·

  ·
  3

• clean-repo-tabs - Drop feature

  change request
  #9550·by fregante was merged May 21, 2026Member·

  ·
  1

• profile-gists-link - Drop feature

  bugchange request
  #9548·by fregante was merged May 21, 2026Member·

  ·
  1

  1

• vertical-front-matter - Drop feature

  change requestimplemented by github
  #9542·by fregante was merged May 20, 2026Member·

  ·
  1

• linkify-symbolic-links - Drop feature

  change requestimplemented by github
  #9403·by fregante was merged May 10, 2026Member·

  ·

• jump-to-change-requested-comment - Drop feature

  change request
  #9385·by fregante was merged May 9, 2026Member·

  ·

• clean-conversations - Drop feature

  change request
  #9307·by fregante was merged Apr 30, 2026Member·

  ·

• quick-new-issue - Drop feature

  change request
  #9301·by fregante was merged Apr 30, 2026Member·

  ·
  1

• mobile-tabs - Drop feature

  bugchange request
  #9255·by fregante was merged Apr 25, 2026Member·

  ·
  1

• linkify-user-edit-history-popup - Drop feature

  change requestimplemented by github
  #9161·by SunsetTechuila was merged Apr 5, 2026Contributor·

  ·

• prevent-pr-merge-panel-opening - Drop feature

  change requestimplemented by github
  #9139·by SunsetTechuila was merged Mar 31, 2026Contributor·

  ·
  2

• more-conversation-filters - Drop feature

  change request
  #8956·by darkred was merged Feb 13, 2026Contributor·

  ·
  1

• safer-destructive-actions - Drop feature

  change request
  #8934·by fregante was merged Feb 3, 2026Member·

  ·
  1

• hide-issue-list-autocomplete - Drop feature

  change request
  #8876·by SunsetTechuila was merged Jan 19, 2026Contributor·

  ·
  2

• resolve-conflicts - Drop feature

  change requestimplemented by github
  #8787·by fregante was merged Dec 9, 2025Member·

  ·
  2

  2

• pagination-hotkey - Drop feature

  change request
  #8758·by fregante was merged Jan 3, 2026Member·

  ·

• convert-pr-to-draft-improvements - Drop feature

  change requestimplemented by github
  #8747·by fregante was merged Nov 11, 2025Member·

  ·

• user-local-time - Drop feature

  change requestimplemented by github
  #8743·by fregante was merged Nov 9, 2025Member·

  ·
  1

  1

• global-conversation-list-filters - Drop feature

  change requestimplemented by github
  #8480·by fregante was merged Jun 16, 2025Member·

  ·
  2

• Drop embed-gist-via-iframe feature

  change request
  #8303·by fregante was merged Mar 4, 2025Member·

  ·
  1